4 citations · 4 across the 2 of their papers we have counts for
2 papers
cs.LO2023
Formal Translation from Reversing Petri Nets to Coloured Petri Nets
Kamila Barylska, Anna Gogolinska, Lukasz Mikulski +3
Reversible computation is an emerging computing paradigm that allows any sequence of operations to be executed in reverse order at any point during computation. Its appeal lies in…
cs.LO2012★ 4 cited
A Process Calculus for Spatially-explicit Ecological Models
Margarita Antonaki, Anna Philippou
We propose PALPS, a Process Algebra with Locations for Population Systems. PALPS allows us to produce spatially-explicit, individual-based models and to reason about their behavior…