Schneider, S. and Davies, J.: A brief history of Timed CSP. Theoretical Computer Science, 138, 1995

Languages mentioned

• TCSP {1995}