25 citations · 74 across the 13 of their papers we have counts for
4 papers · 1 filter
Parallel BioScape: A Stochastic and Parallel Language for Mobile and Spatial Interactions
Adriana Compagnoni, Mariangiola Dezani-Ciancaglini, Paola Giannini +3
BioScape is a concurrent language motivated by the biological landscapes found at the interface of biology and biomaterials. It has been motivated by the need to model antibacteria…
Modelling Spatial Interactions in the Arbuscular Mycorrhizal Symbiosis using the Calculus of Wrapped Compartments
Cristina Calcagno, Mario Coppo, Ferruccio Damiani +4
Arbuscular mycorrhiza (AM) is the most wide-spread plant-fungus symbiosis on earth. Investigating this kind of symbiosis is considered one of the most promising ways to develop met…
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…
A Type System for Required/Excluded Elements in CLS
Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina
The calculus of looping sequences is a formalism for describing the evolution of biological systems by means of term rewriting rules. We enrich this calculus with a type discipline…