A theory of weak bisimulation for core CML

This publication has 8 references indexed in Scilit:

• A calculus of mobile processes, I
  Published by Elsevier ,2004
• A Theory of Higher Order Communicating Systems
  Information and Computation, 1995
• An algebra for process creation
  Acta Informatica, 1992
• A semantics for ML concurrency primitives
  Published by Association for Computing Machinery (ACM) ,1992
• Notions of computation and monads
  Information and Computation, 1991
• CML
  Published by Association for Computing Machinery (ACM) ,1991
• FACILE: A symmetric integration of concurrent and functional programming
  Published by Springer Nature ,1989
• Algebra of communicating processes with abstraction
  Theoretical Computer Science, 1985