Types as models
- 1 January 2002
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 37 (1) , 45-57
- https://doi.org/10.1145/503272.503278
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Type-based race detection for JavaPublished by Association for Computing Machinery (ACM) ,2000
- Changeable interfaces and promised messages for concurrent componentsPublished by Association for Computing Machinery (ACM) ,1999
- The model checker SPINIEEE Transactions on Software Engineering, 1997
- π-Calculus, internal mobility, and agent-passing calculiTheoretical Computer Science, 1996
- A theory of bisimulation for the π-calculusActa Informatica, 1996
- Conjoining specificationsACM Transactions on Programming Languages and Systems, 1995
- Higher-order concurrent programs with finite communication topology (extended abstract)Published by Association for Computing Machinery (ACM) ,1994
- Decidable Subsets of CCSThe Computer Journal, 1994
- Composing specificationsACM Transactions on Programming Languages and Systems, 1993
- A compositional protocol verification using relativized bisimulationInformation and Computation, 1992