Stochastic and Spatial Equivalences for PALOMA
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 Fu...
Gespeichert in:
Veröffentlicht in: | Electronic proceedings in theoretical computer science 2016-07, Vol.217 (Proc. FORECAST 2016), p.69-80 |
---|---|
Hauptverfasser: | , |
Format: | Artikel |
Sprache: | eng |
Online-Zugang: | Volltext |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Zusammenfassung: | 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. |
---|---|
ISSN: | 2075-2180 2075-2180 |
DOI: | 10.4204/EPTCS.217.9 |