H ? « ‹ ← → › »

Language peer sets for CHOCS:
Designed 1989 ↑
1980s languages ↑
Fifth generation↑
Late Cold War↑

CHOCS(ID:1463/cho001)

alternate simple view
Designed 1989
Published: 1989

Generalization of CCS
References:
  • Thomsen (1989) Thomsen, B. "A Calculus of Higer-Order Communicating Systems", 16th POPL pp.143-154 (1989).
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder