Contractions in comparing concurrency semantics

This publication has 12 references indexed in Scilit:

• A compositional semantics for Concurrent Prolog
  Published by Springer Nature ,2005
• Countable nondeterminism and random assignment
  Journal of the ACM, 1986
• Operational semantics of a parallel object-oriented language
  Published by Association for Computing Machinery (ACM) ,1986
• Contrasting themes in the semantics of imperative concurrency
  Published by Springer Nature ,1986
• Transition systems, infinitary languages and the semantics of uniform concurrency
  Published by Association for Computing Machinery (ACM) ,1985
• A Theory of Communicating Sequential Processes
  Journal of the ACM, 1984
• Processes and the denotational semantics of concurrency
  Information and Control, 1982
• A Calculus of Communicating Systems
  Lecture Notes in Computer Science, 1980
• Full abstraction for a simple parallel programming language
  Published by Springer Nature ,1979
• A Powerdomain Construction
  SIAM Journal on Computing, 1976