Stochastic and Spatial Equivalences for PALOMA

Paul Piho, Jane Hillston

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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.
Original languageEnglish
Title of host publication Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems (FORECAST 2016)
PublisherOpen Publishing Association
Pages69-80
Number of pages12
DOIs
Publication statusPublished - 8 Jul 2016
EventFormal methods for the quantitative Evaluation of Collective Adaptive Systems - Vienna, Austria
Duration: 8 Jul 20168 Jul 2016
http://forecast.disia.unifi.it/

Publication series

Name Electronic Proceedings in Theoretical Computer Science
PublisherOpen Publishing Association
Volume217

Conference

ConferenceFormal methods for the quantitative Evaluation of Collective Adaptive Systems
Abbreviated titleFORECAST 2016
CountryAustria
CityVienna
Period8/07/168/07/16
Internet address

Fingerprint

Dive into the research topics of 'Stochastic and Spatial Equivalences for PALOMA'. Together they form a unique fingerprint.

Cite this