H ? « »

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


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

  • 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