Stochastic and Spatial Equivalences for PALOMA

Paul  Piho; Jane Hillston

doi:10.4204/EPTCS.217.9

Stochastic and Spatial Equivalences for PALOMA

Paul Piho
, Jane Hillston

Research output: Chapter in Book/Report/Conference proceeding › Conference 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 language	English
Title of host publication	Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems (FORECAST 2016)
Publisher	Open Publishing Association
Pages	69-80
Number of pages	12
DOIs	https://doi.org/10.4204/EPTCS.217.9
Publication status	Published - 8 Jul 2016
Event	Formal methods for the quantitative Evaluation of Collective Adaptive Systems - Vienna, Austria Duration: 8 Jul 2016 → 8 Jul 2016 http://forecast.disia.unifi.it/

Publication series

Name	Electronic Proceedings in Theoretical Computer Science
Publisher	Open Publishing Association
Volume	217

Conference

Conference	Formal methods for the quantitative Evaluation of Collective Adaptive Systems
Abbreviated title	FORECAST 2016
Country/Territory	Austria
City	Vienna
Period	8/07/16 → 8/07/16
Internet address	http://forecast.disia.unifi.it/

Access to Document

10.4204/EPTCS.217.9

forecast-paperAccepted author manuscript, 193 KB

http://eptcs.web.cse.unsw.edu.au/paper.cgi?FORECAST2016.9

QUANTICOL - A Quantitative Approach to Management and Design of Collective and Adaptive Behaviours (RTD)
Hillston, J. (Principal Investigator) & Gilmore, S. (Co-investigator)
EU government bodies
1/04/13 → 31/03/17
Project: Research

Cite this

@inproceedings{d0d2dc50f2244ecfb4f9f01f5a5d5f2f,

title = "Stochastic and Spatial Equivalences for PALOMA",

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.",

author = "Paul Piho and Jane Hillston",

year = "2016",

month = jul,

day = "8",

doi = "10.4204/EPTCS.217.9",

language = "English",

series = " Electronic Proceedings in Theoretical Computer Science",

publisher = "Open Publishing Association",

pages = "69--80",

booktitle = "Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems (FORECAST 2016)",

address = "Australia",

note = "Formal methods for the quantitative Evaluation of Collective Adaptive Systems, FORECAST 2016 ; Conference date: 08-07-2016 Through 08-07-2016",

url = "http://forecast.disia.unifi.it/",

}

Piho, P & Hillston, J 2016, Stochastic and Spatial Equivalences for PALOMA. in Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems (FORECAST 2016). Electronic Proceedings in Theoretical Computer Science, vol. 217, Open Publishing Association, pp. 69-80, Formal methods for the quantitative Evaluation of Collective Adaptive Systems, Vienna, Austria, 8/07/16. https://doi.org/10.4204/EPTCS.217.9

Stochastic and Spatial Equivalences for PALOMA. / Piho, Paul ; Hillston, Jane.
Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems (FORECAST 2016). Open Publishing Association, 2016. p. 69-80 ( Electronic Proceedings in Theoretical Computer Science; Vol. 217).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Stochastic and Spatial Equivalences for PALOMA

AU - Piho, Paul

AU - Hillston, Jane

PY - 2016/7/8

Y1 - 2016/7/8

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

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

U2 - 10.4204/EPTCS.217.9

DO - 10.4204/EPTCS.217.9

M3 - Conference contribution

T3 - Electronic Proceedings in Theoretical Computer Science

SP - 69

EP - 80

BT - Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems (FORECAST 2016)

PB - Open Publishing Association

T2 - Formal methods for the quantitative Evaluation of Collective Adaptive Systems

Y2 - 8 July 2016 through 8 July 2016

ER -

Stochastic and Spatial Equivalences for PALOMA

Abstract

Publication series

Conference

Access to Document

Fingerprint

Projects

QUANTICOL - A Quantitative Approach to Management and Design of Collective and Adaptive Behaviours (RTD)

Cite this