Modelling stochastic hybrid systems compositionally with process algebra

Project Details

StatusFinished
Effective start/end date1/04/10 → 31/03/12

Funding

  • Other (Learned Society): £10,029.00

Fingerprint

Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
View full fingerprint
  • 2 Conference contribution

  • HYPE with stochastic events

    Bortolussi, L., Galpin, V. & Hillston, J., 2011, Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages. Massink, M. & Norman, G. (eds.). Vol. 57. p. 120-133 14 p. (EPTCS).

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

  • Hybrid Semantics for PEPA

    Bortolussi, L., Galpin, V., Hillston, J. & Tribastone, M., 2010, Quantitative Evaluation of Systems (QEST), 2010 Seventh International Conference on the . Institute of Electrical and Electronics Engineers, p. 181-190 10 p.

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