8 citations · 14 across the 3 of their papers we have counts for
3 papers
Automated Analysis of MUTEX Algorithms with FASE
Federico Buti, Massimo Callisto De Donato, Flavio Corradini +2
In this paper we study the liveness of several MUTEX solutions by representing them as processes in PAFAS s, a CCS-like process algebra with a specific operator for modelling non-b…
Evaluating the Efficiency of Asynchronous Systems with FASE
Federico Buti, Massimo Callisto De Donato, Flavio Corradini +2
In this paper, we present FASE (Faster Asynchronous Systems Evaluation), a tool for evaluating the worst-case efficiency of asynchronous systems. The tool is based on some well-est…
Multiscale Bone Remodelling with Spatial P Systems
Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli +1
Many biological phenomena are inherently multiscale, i.e. they are characterized by interactions involving different spatial and temporal scales simultaneously. Though several appr…