Stochastic and Spatial Equivalences for PALOMA
Paul Piho (School of Informatics, University of Edinburgh), Jane, Hillston (School of Informatics, University of Edinburgh)
TL;DR
This paper introduces new semantic rules and a bisimulation concept for PALOMA, a process algebra modeling spatially distributed agents, enabling better comparison of models based on relative spatial arrangements.
Contribution
It provides novel agent-based semantic rules for PALOMA and defines a bisimulation based on spatial isometries, advancing the analysis of spatially distributed systems.
Findings
Semantic rules for deriving Markov chains in PALOMA
Bisimulation based on spatial isometries
Enhanced comparison of spatial models
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.