Programming with behaviors in an ML framework — The syntax and semantics of LCS

This publication has 9 references indexed in Scilit:

• Incremental multi-threaded garbage collection on virtually shared memory architectures
  Published by Springer Nature ,2005
• A semantics for ML concurrency primitives
  Published by Association for Computing Machinery (ACM) ,1992
• CML
  ACM SIGPLAN Notices, 1991
• Facile: A symmetric integration of concurrent and functional programming
  International Journal of Parallel Programming, 1989
• A calculus of higher order communicating systems
  Published by Association for Computing Machinery (ACM) ,1989
• Type checking records and variants in a natural extension of ML
  Published by Association for Computing Machinery (ACM) ,1989
• A Calculus of Communicating Systems with Label Passing
  DAIMI Report Series, 1986
• Parametric channels via label expressions in CCS
  Theoretical Computer Science, 1984
• An axiomatic proof technique for parallel programs I
  Acta Informatica, 1976