Stochastic and Spatial Equivalences for PALOMA
arXiv:1607.02234 · doi:10.4204/EPTCS.217.9
Abstract
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 Proceedings FORECAST 2016, arXiv:1607.02001