CSP-i: An implementation of communicating sequential processes

This publication has 8 references indexed in Scilit:

• Implementations of the CSP Notation for Concurrent Systems
  The Computer Journal, 1986
• Implementation of CSP-S for description of distributed algorithms
  Computer Languages, 1984
• An Effective Implementation for the Generalized Input-Output Construct of CSP
  ACM Transactions on Programming Languages and Systems, 1983
• Synchronization in Distributed Programs
  ACM Transactions on Programming Languages and Systems, 1982
• A communicating sequential process language and implementation
  Software: Practice and Experience, 1981
• Output Guards and Nondeterminism in “Communicating Sequential Processes”
  ACM Transactions on Programming Languages and Systems, 1980
• Communicating sequential processes
  Communications of the ACM, 1978
• Guarded commands, nondeterminacy and formal derivation of programs
  Communications of the ACM, 1975