Cospol(ID:973/cos004)

Dialect of CSP 

for COmmunicating Sequential PrOcess Language


Also RBCSP Roper & Barter's CSP.
Related languages
CSP => Cospol   Extension of
Cospol => RBCSP   Alias
References:
  • Roper, T. & Barter, J. "A Communicating Sequential Process Language and Implementation", pp1215-1234 view details
  • Donnan, G. and M. E. C. Hull "On Processes, Synchronization and Redundant Code in Communicating Sequential Processes" view details
          in Computer Languages 11(3-4) view details
  • Hull, MEC "Implementations of the CSP notation for concurrent systems" pp500-505 view details
          in The Computer Journal 29(6) 1986 view details