An action semantics for ML concurrency primitives

This publication has 5 references indexed in Scilit:

• Unified algebras and institutions
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• A semantics for ML concurrency primitives
  Published by Association for Computing Machinery (ACM) ,1992
• CML
  ACM SIGPLAN Notices, 1991
• Unified algebras and modules
  Published by Association for Computing Machinery (ACM) ,1989
• Actors
  Published by MIT Press ,1986