A linear-history semantics for languages for distributed programming

This publication has 5 references indexed in Scilit:

• A refinement of Kahn's semantics to handle non-determinism and communication (Extended Abstract)
  Published by Association for Computing Machinery (ACM) ,1982
• Nondeterministic flowchart programs with recursive procedures: Semantics and correctness II
  Theoretical Computer Science, 1981
• A calculus of total correctness for communicating processes
  Science of Computer Programming, 1981
• Semantics of nondeterminism, concurrency, and communication
  Journal of Computer and System Sciences, 1979
• Communicating sequential processes
  Communications of the ACM, 1978