PALOMA: A process algebra for located Markovian agents

Cheng Feng; Jane Hillston

doi:10.1007/978-3-319-10696-0_22

PALOMA: A process algebra for located Markovian agents

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

Abstract

We present a novel stochastic process algebra that allows the expression of models representing systems comprised of populations of agents distributed over space, where the relative positions of agents influence their interaction. This language, PALOMA, is given both discrete and continuous semantics and it captures multi-class, multi-message Markovian agent models (M2MAM). Here we present the definition of the language and both forms of semantics, and demonstrate the use of the language to model a flu epidemic under various quarantine regimes.

Original language	English
Title of host publication	Quantitative Evaluation of Systems
Subtitle of host publication	11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings
Publisher	Springer
Pages	265-280
Number of pages	16
ISBN (Electronic)	978-3-319-10696-0
ISBN (Print)	978-3-319-10695-3
DOIs	https://doi.org/10.1007/978-3-319-10696-0_22
Publication status	Published - 8 Sept 2014
Event	11th International Conference on Quantitative Evaluation of Systems (QEST 2014) - Florence, Italy Duration: 8 Sept 2014 → 10 Sept 2014

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer International Publishing
ISSN (Print)	0302-9743
ISSN (Electronic)	8657

Conference

Conference	11th International Conference on Quantitative Evaluation of Systems (QEST 2014)
Country/Territory	Italy
City	Florence
Period	8/09/14 → 10/09/14

Access to Document

10.1007/978-3-319-10696-0_22

paloma

http://link.springer.com/chapter/10.1007%2F978-3-319-10696-0_22

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{6fbb10ee309745f2adec2b89a991548a,

title = "PALOMA: A process algebra for located Markovian agents",

abstract = "We present a novel stochastic process algebra that allows the expression of models representing systems comprised of populations of agents distributed over space, where the relative positions of agents influence their interaction. This language, PALOMA, is given both discrete and continuous semantics and it captures multi-class, multi-message Markovian agent models (M2MAM). Here we present the definition of the language and both forms of semantics, and demonstrate the use of the language to model a flu epidemic under various quarantine regimes.",

author = "Cheng Feng and Jane Hillston",

year = "2014",

month = sep,

day = "8",

doi = "10.1007/978-3-319-10696-0_22",

language = "English",

isbn = "978-3-319-10695-3",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "265--280",

booktitle = "Quantitative Evaluation of Systems",

address = "United Kingdom",

note = "11th International Conference on Quantitative Evaluation of Systems (QEST 2014) ; Conference date: 08-09-2014 Through 10-09-2014",

}

Feng, C & Hillston, J 2014, PALOMA: A process algebra for located Markovian agents. in Quantitative Evaluation of Systems: 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings. Lecture Notes in Computer Science, Springer, pp. 265-280, 11th International Conference on Quantitative Evaluation of Systems (QEST 2014), Florence, Italy, 8/09/14. https://doi.org/10.1007/978-3-319-10696-0_22

TY - GEN

T1 - PALOMA: A process algebra for located Markovian agents

AU - Feng, Cheng

AU - Hillston, Jane

PY - 2014/9/8

Y1 - 2014/9/8

N2 - We present a novel stochastic process algebra that allows the expression of models representing systems comprised of populations of agents distributed over space, where the relative positions of agents influence their interaction. This language, PALOMA, is given both discrete and continuous semantics and it captures multi-class, multi-message Markovian agent models (M2MAM). Here we present the definition of the language and both forms of semantics, and demonstrate the use of the language to model a flu epidemic under various quarantine regimes.

AB - We present a novel stochastic process algebra that allows the expression of models representing systems comprised of populations of agents distributed over space, where the relative positions of agents influence their interaction. This language, PALOMA, is given both discrete and continuous semantics and it captures multi-class, multi-message Markovian agent models (M2MAM). Here we present the definition of the language and both forms of semantics, and demonstrate the use of the language to model a flu epidemic under various quarantine regimes.

U2 - 10.1007/978-3-319-10696-0_22

DO - 10.1007/978-3-319-10696-0_22

M3 - Conference contribution

SN - 978-3-319-10695-3

T3 - Lecture Notes in Computer Science

SP - 265

EP - 280

BT - Quantitative Evaluation of Systems

PB - Springer

T2 - 11th International Conference on Quantitative Evaluation of Systems (QEST 2014)

Y2 - 8 September 2014 through 10 September 2014

ER -

PALOMA: A process algebra for located Markovian agents

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