A generic type system for the Pi-calculus
- 1 January 2001
- proceedings article
- Published by Association for Computing Machinery (ACM)
- Vol. 36 (3) , 128-141
- https://doi.org/10.1145/360204.360215
Abstract
No abstract availableThis publication has 22 references indexed in Scilit:
- Type Reconstruction for Linear π-Calculus with I/O SubtypingInformation and Computation, 2000
- Behavioral equivalence in the polymorphic pi-calculusJournal of the ACM, 2000
- Linearity and the pi-calculusACM Transactions on Programming Languages and Systems, 1999
- A partially deadlock-free typed process calculusACM Transactions on Programming Languages and Systems, 1998
- A Generalized Deadlock-Free Process CalculusElectronic Notes in Theoretical Computer Science, 1998
- Calculi for interactionActa Informatica, 1996
- Composing processesPublished by Association for Computing Machinery (ACM) ,1996
- Concurrent objects in a process calculusPublished by Springer Nature ,1995
- The Polyadic π-Calculus: a TutorialPublished by Springer Nature ,1993
- Polymorphic type, region and effect inferenceJournal of Functional Programming, 1992