Real time process algebra (1991)

by J Baeten, J Bergstra
Venue:Formal Aspects of Computing