An improved failures model for communicating processes

This publication has 13 references indexed in Scilit:

• Specification-oriented semantics for communicating processes
  Published by Springer Nature ,2005
• A linear-history semantics for languages for distributed programming
  Theoretical Computer Science, 1984
• A Theory of Communicating Sequential Processes
  Journal of the ACM, 1984
• Models and operators for nondeterministic processes
  Published by Springer Nature ,1984
• Synchronous and asynchronous experiments on processes
  Information and Control, 1983
• Possible futures, acceptances, refusals, and communicating processes
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1981
• A proof technique for communicating sequential processes
  Acta Informatica, 1981
• A Proof System for Communicating Sequential Processes
  ACM Transactions on Programming Languages and Systems, 1980
• Semantics of nondeterminism, concurrency, and communication
  Journal of Computer and System Sciences, 1979
• Communicating sequential processes
  Communications of the ACM, 1978