H ? « ‹ ← → › »

Language peer sets for ZCCS:
United Kingdom↑
United Kingdom/1997↑
Designed 1997 ↑
1990s languages ↑
Internet↑
New internationlism↑

ZCCS(ID:5823/zcc001)

alternate simple view
Country: United Kingdom
Designed 1997

Hybrid of CCS and Z

Galloway and Stoddart York Uni

Related languages
CCS → ZCCS   Incorporated some features of
Z → ZCCS   Incorporated some features of
References:
  • Galloway, A.J. and Stoddart, W.J. (1997) Galloway, A.J. and Stoddart, W.J. "An operational semantics for ZCCS" p272 Abstract Online copy
          in [Proceedings] (1997) 1st International Conference on Formal Engineering Methods (ICFEM '97) November 12 - 14, 1997 Hiroshima, JAPAN
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder