HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour.

Vashti Galpin, Luca Bortolussi, Jane Hillston

Browse the full CONCUR paper archive.