Stochastic and Spatial Equivalences for PALOMA

Paul Piho
(School of Informatics, University of Edinburgh)
Jane Hillston
(School of Informatics, University of Edinburgh)

We concentrate our study on a recent process algebra – PALOMA – intended to capture interactions between spatially distributed agents, for example in collective adaptive systems. New agent-based semantic rules for deriving the underlying continuous time Markov chain are given in terms of State to Function Labelled Transition Systems. Furthermore we define a bisimulation with respect to an isometric transformation of space allowing us to compare PALOMA models with respect to their relative rather than absolute locations.

In Maurice H. ter Beek and Michele Loreti: Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems (FORECAST 2016), Vienna, Austria, 8 July 2016, Electronic Proceedings in Theoretical Computer Science 217, pp. 69–80.
Published: 7th July 2016.

ArXived at: https://dx.doi.org/10.4204/EPTCS.217.9 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org