Polarized name passing
- 1 January 1995
- book chapter
- Published by Springer Nature
- p. 324-337
- https://doi.org/10.1007/3-540-60692-0_58
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- An object calculus for asynchronous communicationPublished by Springer Nature ,2006
- Computational lambda-calculus and monadsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Typing and subtyping for mobile processesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A pi-calculus semantics for an object-based design notationPublished by Springer Nature ,1993
- On reduction-based process semanticsPublished by Springer Nature ,1993
- Elements of interactionCommunications of the ACM, 1993
- Functions as processesMathematical Structures in Computer Science, 1992
- Barbed bisimulationPublished by Springer Nature ,1992
- The chemical abstract machinePublished by Association for Computing Machinery (ACM) ,1990
- A Calculus of Communicating Systems with Label PassingDAIMI Report Series, 1986