Real time process algebra (1991)

by J C M Baeten, J A Bergstra
Venue:Journal of Formal Aspects of Computing Science