Real space process algebra (1991)

by J C M Baeten, J A Bergstra
Venue:Concur 91, LNCS 527