Items where Author is "Galpin, Vashti"
Jump to: Book Section | Working Paper Number of items: 2. Book SectionBortolussi, Luca and Galpin, Vashti and Hillston, Jane and Tribastone, Mirco Hybrid semantics for PEPA. In: Proceedings of the 7th International Conference on the Quantitative Evaluation of Systems (QEST). IEEE, pp. 181-190. ISBN 978-1-4244-8082-1 (2010) Working PaperBortolussi, Luca and De Nicola, Rocco and Galpin, Vashti and Gilmore, Stephen and Hillstone, Jane and Latella, Diego and Loreti, Michele and Massink, Mieke CARMA: Collective Adaptive Resource-sharing Markovian Agents. Working Paper arXiv (Submitted) |
