Stochastic and Spatial Equivalences for PALOMA
Logic in Computer Science
2016-07-11 v1
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.
Cite
@article{arxiv.1607.02234,
title = {Stochastic and Spatial Equivalences for PALOMA},
author = {Paul Piho and Jane Hillston},
journal= {arXiv preprint arXiv:1607.02234},
year = {2016}
}
Comments
In Proceedings FORECAST 2016, arXiv:1607.02001