Solo Diagrams
- 10 October 2001
- book chapter
- Published by Springer Nature
- p. 127-144
- https://doi.org/10.1007/3-540-45500-0_6
Abstract
No abstract availableKeywords
This publication has 18 references indexed in Scilit:
- An object calculus for asynchronous communicationPublished by Springer Nature ,2006
- Solos in ConcertPublished by Springer Nature ,1999
- A proof theoretical approach to communicationPublished by Springer Nature ,1997
- The reflexive CHAM and the join-calculusPublished by Association for Computing Machinery (ACM) ,1996
- On the π-calculus and linear logicTheoretical Computer Science, 1994
- The Polyadic π-Calculus: a TutorialPublished by Springer Nature ,1993
- Functions as processesMathematical Structures in Computer Science, 1992
- The geometry of optimal lambda reductionPublished by Association for Computing Machinery (ACM) ,1992
- Interaction netsPublished by Association for Computing Machinery (ACM) ,1990
- Linear logicTheoretical Computer Science, 1987