On reduction-based process semantics
- 1 January 1993
- book chapter
- Published by Springer Nature
- p. 373-387
- https://doi.org/10.1007/3-540-57529-4_70
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- An object calculus for asynchronous communicationPublished by Springer Nature ,2006
- Functions as processesPublished by Springer Nature ,2005
- Combinatory representation of mobile processesPublished by Association for Computing Machinery (ACM) ,1994
- A pi-calculus semantics for an object-based design notationPublished by Springer Nature ,1993
- Barbed bisimulationPublished by Springer Nature ,1992
- The chemical abstract machinePublished by Association for Computing Machinery (ACM) ,1990
- A calculus of higher order communicating systemsPublished by Association for Computing Machinery (ACM) ,1989
- Testing equivalences for processesTheoretical Computer Science, 1984
- Set-theoretical models of λ-calculus: theories, expansions, isomorphismsAnnals of Pure and Applied Logic, 1983
- A Calculus of Communicating SystemsLecture Notes in Computer Science, 1980