Real Time Process Algebra (1991)

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