Edinburgh Research Explorer

Stochastic and Spatial Equivalences for PALOMA

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

Related Edinburgh Organisations

Open Access permissions

Open

Documents

https://arxiv.org/abs/1607.02234
Original languageEnglish
Title of host publicationFORECAST 2016: Formal methods for the quantitative Evaluation of Collective Adaptive Systems
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/

Conference

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

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.

Event

Download statistics

No data available

ID: 26481780