H ? « ‹ ← → › »

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

CCS(ID:887/ccs001)

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
References:
  • (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