Multisets and structural congruence of the pi-calculus with replication
- 28 January 1999
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 211 (1-2) , 311-337
- https://doi.org/10.1016/s0304-3975(97)00179-5
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- A calculus of mobile processes, IPublished by Elsevier ,2004
- A multiset semantics for the pi-calculus with replicationTheoretical Computer Science, 1996
- Elements of interactionCommunications of the ACM, 1993
- Functions as processesMathematical Structures in Computer Science, 1992
- The chemical abstract machineTheoretical Computer Science, 1992
- Flowgraphs and Flow AlgebrasJournal of the ACM, 1979
- Concurrent Processes and Their SyntaxJournal of the ACM, 1979