H ? « »

Language peer sets for CCS:
United Kingdom
United Kingdom/1980
Designed 1980
1980s languages
Fourth generation
Late Cold War


Calculus of Communicating Systems 

alternate simple view
Country: United Kingdom
Designed 1980
Published: 1980

for Calculus of Communicating Systems.

Related languages
Behaviour Algebra CCS   Precursor
CCS A#   Based on
CCS CSP + T   Influence
CCS Facile   Influence
CCS PFL   Incorporated features of
CCS value-passing CCS   Evolution of
CCS ZCCS   Incorporated some features of

  • (1980) "A Calculus of Communicating Systems", LNCS 92, Springer 1980.
  • Walker, D. (1986) Walker, D. "Introduction to a Calculus of Communicating Systems" LFCS report ECS-LFCS-86-22 Abstract Purchase online
  • Milner, R. (1989) Milner, R. "Communication and Concurrency", P-H 1989.
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder