PALOMA
PALOMA: A process algebra for located Markovian agents. 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
Keywords for this software
References in zbMATH (referenced in 6 articles , 1 standard article )
Showing results 1 to 6 of 6.
Sorted by year (- Bortolussi, Luca; Hillston, Jane; Loreti, Michele: Fluid approximation of broadcasting systems (2020)
- Toro, Mauricio: A general overview of formal languages for individual-based modelling of ecosystems (2019)
- Feng, Cheng; Hillston, Jane; Galpin, Vashti: Automatic moment-closure approximation of spatially distributed collective adaptive systems (2016)
- Vandin, Andrea; Tribastone, Mirco: Quantitative abstractions for collective adaptive systems (2016)
- Latella, Diego; Loreti, Michele; Massink, Mieke; Senni, Valerio: On StocS: a stochastic extension of SCEL (2015) ioport
- Feng, Cheng; Hillston, Jane: PALOMA: A process algebra for located Markovian agents (2014) ioport