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

by Wang Yi
Venue:Automata, Languages and Programming, volume 510 of Lecture