Davide Cerotti, Marco Gribaudo, Andrea Bobbio, Carlos Miguel Tavares Calafate & Pietro Manzoni (2010):
A Markovian Agent Model for Fire Propagation in Outdoor Environments.
In: Computer Performance Engineering - 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings,
pp. 131–146,
doi:10.1007/978-3-642-15784-4_9.
Rocco De Nicola, Diego Latella, Michele Loreti & Mieke Massink (2013):
A uniform definition of stochastic process calculi.
ACM Comput. Surv. 46(1),
pp. 5,
doi:10.1145/2522968.2522973.
Cheng Feng & Jane Hillston (2014):
PALOMA: A Process Algebra for Located Markovian Agents.
In: Quantitative Evaluation of Systems - 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings,
pp. 265–280,
doi:10.1007/978-3-319-10696-0_22.
Cheng Feng, Jane Hillston & Vashti Galpin (2016):
Automatic Moment-Closure Approximation of Spatially Distributed Collective Adaptive Systems.
ACM Trans. Model. Comput. Simul. 26(4),
pp. 26,
doi:10.1145/2883608.
Jane Hillston (1996):
A Compositional Approach to Performance Modelling.
Cambridge University Press,
New York, NY, USA,
doi:10.1017/CBO9780511569951.
Mathias John, Roland Ewald & Adelinde M. Uhrmacher (2008):
A Spatial Extension to the pi Calculus.
Electr. Notes Theor. Comput. Sci. 194(3),
pp. 133–148,
doi:10.1016/j.entcs.2007.12.010.
Nicola Mezzetti & Davide Sangiorgi (2006):
Towards a Calculus For Wireless Systems.
Electr. Notes Theor. Comput. Sci. 158,
pp. 331–353,
doi:10.1016/j.entcs.2006.04.017.
Robin Milner (1989):
Communication and Concurrency.
Prentice-Hall, Inc.,
Upper Saddle River, NJ, USA.
eptcs@eptcs.org