Hybrid Semantics for PEPA

Luca Bortolussi, Vashti Galpin, Jane Hillston, Mirco Tribastone

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

2 results

Finished
Modelling stochastic hybrid systems compositionally with process algebra
Hillston, J. (Principal Investigator)
Other (Learned Society)
1/04/10 → 31/03/12
Project: Research
CODA: Process Algebra Approaches to Collective Dynamics
Hillston, J. (Principal Investigator)
EPSRC
1/10/05 → 30/09/10
Project: Research