1. 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.
  2. 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.
  3. 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.
  4. 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.
  5. Jane Hillston (1996): A Compositional Approach to Performance Modelling. Cambridge University Press, New York, NY, USA, doi:10.1017/CBO9780511569951.
  6. 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.
  7. 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.
  8. Robin Milner (1989): Communication and Concurrency. Prentice-Hall, Inc., Upper Saddle River, NJ, USA.

Comments and questions to:
For website issues: