H ? « »

Language peer sets for TCSP:
Designed 1995
1990s languages
Fifth generation
Post-Cold War


alternate simple view
Designed 1995

For Timed CSP

Related languages
CSP + T TCSP   Evolution of
TCSP TCOZ   Incorporated features of

  • Schneider, S. (1995) Schneider, S. and Davies, J.: A brief history of Timed CSP. Theoretical Computer Science, 138, 1995
  • 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