In this paper, we introduce a dense time process algebraic formalism with support for specification of (shared) resource requirements and resource schedulers. The goal of this app...
Mohammad Reza Mousavi, Michel A. Reniers, Twan Bas...
Reversible computation has a growing number of promising application areas such as the modelling of biochemical systems, program debugging and testing, and even programming languag...
We present stochastic process algebra models of a Circadian clock mechanism used in many biological organisms to regulate time-based behaviour. We compare modelling techniques fro...
This is an extended version of an essay with the same title that I wrote for the workshop Algebraic Process Calculi: The First Twenty Five Years and Beyond, held in Bertinoro, Ita...