Process Algebra with Partial Choice

This publication has 11 references indexed in Scilit:

• On sequential composition, action prefixes and process prefix
  Formal Aspects of Computing, 1994
• Process Algebra
  Published by Cambridge University Press (CUP) ,1990
• A calculus for communicating systems with time and probabilities
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1990
• Readies and Failures in the Algebra of Communicating Processes
  SIAM Journal on Computing, 1988
• Ready-Trace Semantics for Concrete Process Algebra with the Priority Operator
  The Computer Journal, 1987
• Notes on Communicating Sequential Systems
  Published by Springer Nature ,1986
• A Theory of Communicating Sequential Processes
  Journal of the ACM, 1984
• Process algebra for synchronous communication
  Information and Control, 1984
• Processes and the denotational semantics of concurrency
  Information and Control, 1982
• A Calculus of Communicating Systems
  Lecture Notes in Computer Science, 1980