QUANTICOL - A Quantitative Approach to Management and Design of Collective and Adaptive Behaviours (RTD)

Hillston, Jane (Principal Investigator)
Gilmore, Stephen (Co-investigator)

School of Informatics

47 Conference contribution
21 Article
1 Chapter (peer-reviewed)
1 Special issue

1 results

Filter

2015
Abstract Interpretation of PEPA Models
Gilmore, S., Hillston, J. & Zon, N., 25 Dec 2015, Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays. Probst, C. W., Hankin, C. & Hansen, R. R. (eds.). Springer, p. 140-158 18 p. (Lecture Notes in Computer Science; vol. 9560).
Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

Open Access
File