The failure of failures in a paradigm for asynchronous communication

This publication has 14 references indexed in Scilit:

• Comparative metric semantics for concurrent prolog
  Theoretical Computer Science, 1990
• Comparing two fully abstract dataflow models
  Published by Springer Nature ,1989
• Readies and Failures in the Algebra of Communicating Processes
  SIAM Journal on Computing, 1988
• A fully abstract semantics for data flow nets
  Published by Springer Nature ,1987
• Generative communication in Linda
  ACM Transactions on Programming Languages and Systems, 1985
• A Theory of Communicating Sequential Processes
  Journal of the ACM, 1984
• Processes and the denotational semantics of concurrency
  Information and Control, 1982
• The Hearsay-II Speech-Understanding System: Integrating Knowledge to Resolve Uncertainty
  ACM Computing Surveys, 1980
• A Calculus of Communicating Systems
  Lecture Notes in Computer Science, 1980
• Communicating sequential processes
  Communications of the ACM, 1978