Edinburgh Research Explorer

PALOMA: A process algebra for located Markovian agents

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

Original languageEnglish
Title of host publicationQuantitative Evaluation of Systems
Subtitle of host publication11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings
PublisherSpringer International Publishing
Number of pages16
ISBN (Electronic)978-3-319-10696-0
ISBN (Print)978-3-319-10695-3
Publication statusPublished - 8 Sep 2014
Event11th International Conference on Quantitative Evaluation of Systems (QEST 2014) - Florence, Italy
Duration: 8 Sep 201410 Sep 2014

Publication series

NameLecture Notes in Computer Science
PublisherSpringer International Publishing
ISSN (Print)0302-9743
ISSN (Electronic)8657


Conference11th International Conference on Quantitative Evaluation of Systems (QEST 2014)


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.


Download statistics

No data available

ID: 25290272