PALOMA: A process algebra for located Markovian agents

Cheng Feng, Jane Hillston

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

Abstract / Description of output

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 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 Sept 2014
Event11th International Conference on Quantitative Evaluation of Systems (QEST 2014) - Florence, Italy
Duration: 8 Sept 201410 Sept 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)


Dive into the research topics of 'PALOMA: A process algebra for located Markovian agents'. Together they form a unique fingerprint.

Cite this