On reduction-based process semantics
- 27 November 1995
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 151 (2) , 437-486
- https://doi.org/10.1016/0304-3975(95)00074-7
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- A calculus of mobile processes, IPublished by Elsevier ,2004
- An interaction-based language and its typing systemPublished by Springer Nature ,1994
- Replication in concurrent combinatorsPublished by Springer Nature ,1994
- A pi-calculus semantics for an object-based design notationPublished by Springer Nature ,1993
- Functions as processesMathematical Structures in Computer Science, 1992
- The chemical abstract machineTheoretical Computer Science, 1992
- Barbed bisimulationPublished by Springer Nature ,1992
- Set-theoretical models of λ-calculus: theories, expansions, isomorphismsAnnals of Pure and Applied Logic, 1983
- Milner, R., A Calculus of Communicating Systems, Lecture Notes in Computer Science 92, Berlin‐Heidelberg‐New York, Springer‐Verlag 1980, VI, 171 S., DM 21,50. US $ 12.70. ISBN 3‐540‐10235‐3ZAMM - Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik, 1982
- Fully abstract models of typed λ-calculiTheoretical Computer Science, 1977