A Brief History of Timed CSP (1995)

by S Schneider, J Davies
Venue:Theoretical Computer Science