A generic type system for the Pi-calculus
Top Cited Papers
- 23 January 2004
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 311 (1-3) , 121-163
- https://doi.org/10.1016/s0304-3975(03)00325-6
Abstract
No abstract availableKeywords
This publication has 46 references indexed in Scilit:
- Adoption and focusPublished by Association for Computing Machinery (ACM) ,2002
- Types as modelsPublished by Association for Computing Machinery (ACM) ,2002
- Enforcing high-level protocols in low-level softwarePublished by Association for Computing Machinery (ACM) ,2001
- Anytime, anywherePublished by Association for Computing Machinery (ACM) ,2000
- Occurrence Counting Analysis for the π-calculusElectronic Notes in Theoretical Computer Science, 2000
- Types for Safe LockingPublished by Springer Nature ,1999
- Object Types against RacesPublished by Springer Nature ,1999
- Program analysis using mixed term and set constraintsPublished by Springer Nature ,1997
- Subtyping recursive typesACM Transactions on Programming Languages and Systems, 1993
- Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpointsPublished by Association for Computing Machinery (ACM) ,1977