H ? « ‹ ← → › »

Language peer sets for TCOZ:
Designed 2002 ↑
2000s languages ↑
Internet↑
New internationlism↑

TCOZ(ID:8160/)

alternate simple view
Designed 2002

Combination of Timed CSP and Object-Z
Related languages
Object-Z → TCOZ   Incorporated features of
TCSP → TCOZ   Incorporated features of
References:
  • Mahony, Brendan and Jin Song Dong (2002) Mahony, Brendan and Jin Song Dong "Deep Semantic Links of TCSP and Object-Z: TCOZ Approach" pp142-160
          in (2002) Formal Aspects of Computing 13(2) May 2002
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder