CCS + Time = an interleaving model for real time systems (1991)

by W Yi
Venue:Proceedings 18 ~h ICALP, Madrid, LNCS 510