Types as models

This publication has 12 references indexed in Scilit:

• A generic type system for the Pi-calculus
  Published by Association for Computing Machinery (ACM) ,2001
• Type-based race detection for Java
  Published by Association for Computing Machinery (ACM) ,2000
• Changeable interfaces and promised messages for concurrent components
  Published by Association for Computing Machinery (ACM) ,1999
• The model checker SPIN
  IEEE Transactions on Software Engineering, 1997
• Conjoining specifications
  ACM 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 CCS
  The Computer Journal, 1994
• Composing specifications
  ACM Transactions on Programming Languages and Systems, 1993
• A compositional protocol verification using relativized bisimulation
  Information and Computation, 1992
• Proofs of Networks of Processes
  IEEE Transactions on Software Engineering, 1981