HYPE: a process algebra for compositional flows and emergent behaviour. In: (2009)

by V Galpin, L Bortolussi, J Hillston
Venue:CONCUR 2009, LNCS 5710,