Stochastic and Spatial Equivalences for PALOMA

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 F...

Full description

Bibliographic Details
Main Authors: Paul Piho, Jane Hillston
Format: Article
Language:English
Published: Open Publishing Association 2016-07-01
Series:Electronic Proceedings in Theoretical Computer Science
Online Access:http://arxiv.org/pdf/1607.02234v1
id doaj-13c83b8b28824337b9d22d0126ef85f8
record_format Article
spelling doaj-13c83b8b28824337b9d22d0126ef85f82020-11-24T23:07:10ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802016-07-01217Proc. FORECAST 2016698010.4204/EPTCS.217.9:3Stochastic and Spatial Equivalences for PALOMAPaul Piho0Jane Hillston1 School of Informatics, University of Edinburgh School of Informatics, University of Edinburgh 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.http://arxiv.org/pdf/1607.02234v1
collection DOAJ
language English
format Article
sources DOAJ
author Paul Piho
Jane Hillston
spellingShingle Paul Piho
Jane Hillston
Stochastic and Spatial Equivalences for PALOMA
Electronic Proceedings in Theoretical Computer Science
author_facet Paul Piho
Jane Hillston
author_sort Paul Piho
title Stochastic and Spatial Equivalences for PALOMA
title_short Stochastic and Spatial Equivalences for PALOMA
title_full Stochastic and Spatial Equivalences for PALOMA
title_fullStr Stochastic and Spatial Equivalences for PALOMA
title_full_unstemmed Stochastic and Spatial Equivalences for PALOMA
title_sort stochastic and spatial equivalences for paloma
publisher Open Publishing Association
series Electronic Proceedings in Theoretical Computer Science
issn 2075-2180
publishDate 2016-07-01
description 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.
url http://arxiv.org/pdf/1607.02234v1
work_keys_str_mv AT paulpiho stochasticandspatialequivalencesforpaloma
AT janehillston stochasticandspatialequivalencesforpaloma
_version_ 1725619655829094400

Similar Items