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: |  |