A multiset semantics for the pi-calculus with replication
- 8 January 1996
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 153 (1-2) , 65-94
- https://doi.org/10.1016/0304-3975(95)00118-2
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- A calculus of mobile processes, IPublished by Elsevier ,2004
- Programming by multiset transformationCommunications of the ACM, 1993
- Functions as processesMathematical Structures in Computer Science, 1992
- The chemical abstract machineTheoretical Computer Science, 1992
- Petri nets are monoidsInformation and Computation, 1990
- A distributed operational semantics for CCS based on condition/event systemsActa Informatica, 1988
- The non-sequential behaviour of Petri netsInformation and Control, 1983
- Flowgraphs and Flow AlgebrasJournal of the ACM, 1979
- Concurrent Processes and Their SyntaxJournal of the ACM, 1979
- Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theoremIndagationes Mathematicae, 1972