H ? « ‹ ← → › »

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

TCSP(ID:8159/)

alternate simple view
Designed 1995

For Timed CSP
Related languages
CSP + T → TCSP   Evolution of
TCSP → TCOZ   Incorporated features of
References:
  • 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