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