TCSP(ID:8159/)
For Timed CSP
Related languages
| CSP + T |
=> |
TCSP | |
Evolution of |
| TCSP |
=> |
TCOZ | |
Incorporated features of |
References:
Schneider, S. and Davies, J.: A brief history of Timed CSP. Theoretical Computer Science, 138, 1995 view details
Mahony, Brendan and Jin Song Dong "Deep Semantic Links of TCSP and Object-Z: TCOZ Approach" pp142-160 view details
in Formal Aspects of Computing 13(2) May 2002 view details
|