From CML to process algebras

This publication has 10 references indexed in Scilit:

• From CML to process Algebras
  DAIMI Report Series, 1993
• The fork calculus
  Published by Springer Nature ,1993
• Two-Level Functional Languages
  Published by Cambridge University Press (CUP) ,1992
• A semantics for ML concurrency primitives
  Published by Association for Computing Machinery (ACM) ,1992
• A calculus for overloaded functions with subtyping
  ACM SIGPLAN Lisp Pointers, 1992
• CML
  ACM SIGPLAN Notices, 1991
• Concurrent clean
  Published by Springer Nature ,1991
• A calculus of higher order communicating systems
  Published by Association for Computing Machinery (ACM) ,1989
• The typed λ-calculus with first-class processes
  Published by Springer Nature ,1989
• Polymorphic effect systems
  Published by Association for Computing Machinery (ACM) ,1988