Concurrent Semantics for the π-calculus
Open Access
- 1 January 1995
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 1, 411-429
- https://doi.org/10.1016/s1571-0661(04)00024-6
Abstract
No abstract availableKeywords
This publication has 18 references indexed in Scilit:
- Axiomatizing permutation equivalence in the λ-calculusPublished by Springer Nature ,2005
- A calculus of mobile processes, IPublished by Elsevier ,2004
- Flow Models of Distributed Computations: Three Equivalent Semantics for CCSInformation and Computation, 1994
- An abstract machine for concurrent modular systems: CHARMTheoretical Computer Science, 1994
- Observing localitiesTheoretical Computer Science, 1993
- An algebraic semantics for structured transition systems and its application to logic programsTheoretical Computer Science, 1992
- Conditional rewriting logic as a unified model of concurrencyTheoretical Computer Science, 1992
- Causal treesPublished by Springer Nature ,1989
- A distributed operational semantics for CCS based on condition/event systemsActa Informatica, 1988
- Tutorial introduction to the algebraic approach of graph grammarsPublished by Springer Nature ,1987