FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Truely Concurrent Processes in the Calculus of Structures

Author: Ross Horne

Paper Information

Title:Truely Concurrent Processes in the Calculus of Structures
Authors:Ross Horne
Proceedings:TYDI-0 Abstracts
Editor: Lutz Stra├čburger
Keywords:deep inference, calculus of structures, process calculi, true concurrency
Abstract:

ABSTRACT. I discuss recent results enabling expressive process calculi to be embedded in extensions of BV. I also discuss perspectives on understanding the true concurrency of these process embeddings.

Pages:3
Talk:Jul 07 11:00 (Session 26Q: promotion)
Paper: