4 citations · 5 across the 4 of their papers we have counts for
4 papers
Modelling Biological and Ecological Systems with the Calculus of Wrapped Compartments
Marco Aldinucci, Livio Bioglio, Cristina Calcagno +8
The modelling and analysis of biological systems has deep roots in Mathematics, specifically in the field of Ordinary Differential Equations. Alternative approaches based on formal…
A Calculus of Looping Sequences with Local Rules
Livio Bioglio, Mariangiola Dezani-Ciancaglini, Paola Giannini +1
In this paper we present a variant of the Calculus of Looping Sequences (CLS for short) with global and local rewrite rules. While global rules, as in CLS, are applied anywhere in…
A Minimal OO Calculus for Modelling Biological Systems
Livio Bioglio
In this paper we present a minimal object oriented core calculus for modelling the biological notion of type that arises from biological ontologies in formalisms based on term rewr…
A Spatial Calculus of Wrapped Compartments
Livio Bioglio, Cristina Calcagno, Mario Coppo +4
The Calculus of Wrapped Compartments (CWC) is a recently proposed modelling language for the representation and simulation of biological systems behaviour. Although CWC has no expl…