On implementations and semantics of a concurrent programming language

This publication has 16 references indexed in Scilit:

• A calculus of mobile processes, I
  Published by Elsevier ,2004
• Bisimulations and divergence
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Accommodating interference in the formal design of concurrent object-based programs
  Formal Methods in System Design, 1996
• A Facile tutorial
  Published by Springer Nature ,1996
• On bisimulations for the asynchronous π-calculus
  Published by Springer Nature ,1996
• Testing Equivalence for Mobile Processes
  Information and Computation, 1995
• Quantales, observational logic and process semantics
  Mathematical Structures in Computer Science, 1993
• Observation equivalence as a testing equivalence
  Theoretical Computer Science, 1987
• Testing equivalences for processes
  Theoretical Computer Science, 1984
• A modal characterisation of observable machine-behaviour
  Lecture Notes in Computer Science, 1981