25 citations · 74 across the 13 of their papers we have counts for
3 papers · 1 filter
A Type System for a Stochastic CLS
Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina
The Stochastic Calculus of Looping Sequences is suitable to describe the evolution of microbiological systems, taking into account the speed of the described activities. We propose…
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…
Modelling an Ammonium Transporter with SCLS
Mario Coppo, Ferruccio Damiani, Elena Grassi +2
The Stochastic Calculus of Looping Sequences (SCLS) is a recently proposed modelling language for the representation and simulation of biological systems behaviour. It has been des…