Behaviour analysis and safety conditions: A case study in CML

This publication has 9 references indexed in Scilit:

• Principles of Program Analysis
  Published by Springer Nature ,1999
• Polymorphic Subtyping for Side Effects
  DAIMI Report Series, 1997
• Behaviour Analysis for Validating Communication Patterns
  DAIMI Report Series, 1997
• Systematic realisation of control flow analyses for CML
  Published by Association for Computing Machinery (ACM) ,1997
• Communication Analysis for Concurrent ML
  Published by Springer Nature ,1997
• Design and prototyping of real-time systems using CSP and CML
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1997
• Introduction
  Published by Springer Nature ,1995
• Higher-order concurrent programs with finite communication topology (extended abstract)
  Published by Association for Computing Machinery (ACM) ,1994
• Concurrent ML: Design, application and semantics
  Published by Springer Nature ,1993