Real space process algebra (1993)

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