The Polyadic π-Calculus: a Tutorial
- 1 January 1993
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Barbed bisimulationPublished by Springer Nature ,1992
- Modal logics for mobile processesPublished by Springer Nature ,1991
- The typed λ-calculus with first-class processesPublished by Springer Nature ,1989
- Towards a lambda-calculus for concurrent and communicating systemsPublished by Springer Nature ,1989
- SMoLCS-driven concurrent calculiPublished by Springer Nature ,1987
- Linear logicTheoretical Computer Science, 1987
- Notes on Communicating Sequential SystemsPublished by Springer Nature ,1986
- Syntax and informal semantics of DyNe, a parallel languagePublished by Springer Nature ,1985
- Algebraic laws for nondeterminism and concurrencyJournal of the ACM, 1985
- Parametric channels via label expressions in CCSTheoretical Computer Science, 1984