[PDF][PDF] Qualitative and Quantitative Formal Modeling of Biological Systems.
P Milazzo - 2007 - core.ac.uk
Cell Biology, the study of the morphological and functional organization of cells, is now an
established field in biochemical research. Computer Science can help the research in Cell …
established field in biochemical research. Computer Science can help the research in Cell …
The calculus of looping sequences
R Barbuti, G Caravagna, A Maggiolo–Schettini… - Formal Methods for …, 2008 - Springer
We describe the Calculus of Looping Sequences (CLS) which is suitable for modeling
microbiological systems and their evolution. We present two extensions, CLS with links …
microbiological systems and their evolution. We present two extensions, CLS with links …
Stochastic calculus of looping sequences for the modelling and simulation of cellular pathways
R Barbuti, A Maggiolo-Schettini, P Milazzo… - … Systems Biology IX, 2008 - Springer
The paper presents the Stochastic Calculus of Looping Sequences (SCLS) suitable to
describe microbiological systems, such as cellular pathways, and their evolution. Systems …
describe microbiological systems, such as cellular pathways, and their evolution. Systems …
Type disciplines for analysing biologically relevant properties
The calculus of looping sequences is a formalism for describing evolution of biological
systems by means of term rewriting rules. We propose to enrich this calculus with type …
systems by means of term rewriting rules. We propose to enrich this calculus with type …
A type system for a stochastic CLS
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 …
microbiological systems, taking into account the speed of the described activities. We …
A type system for required/excluded elements in CLS
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 to …
systems by means of term rewriting rules. We enrich this calculus with a type discipline to …
The calculus of looping sequences for modeling biological membranes
R Barbuti, A Maggiolo–Schettini, P Milazzo… - … Workshop, WMC 2007 …, 2007 - Springer
We survey the formalism Calculus of Looping Sequences (CLS) and a number of its variants
from the point of view of their use for describing biological membranes. The CLS formalism …
from the point of view of their use for describing biological membranes. The CLS formalism …
Simulation techniques for the calculus of wrapped compartments
The modelling and analysis of biological systems has deep roots in Mathematics,
specifically in the field of Ordinary Differential Equations (ODEs). Alternative approaches …
specifically in the field of Ordinary Differential Equations (ODEs). Alternative approaches …
Typed stochastic semantics for the calculus of looping sequences
The stochastic calculus of looping sequences is a quantitative term rewrite formalism
suitable to describe the evolution of microbiological systems, taking into account the speed …
suitable to describe the evolution of microbiological systems, taking into account the speed …
Enumerated type semantics for the calculus of looping sequences
L Bioglio - RAIRO-Theoretical Informatics and Applications, 2011 - cambridge.org
The calculus of looping sequences is a formalism for describing the evolution of biological
systems by means of term rewriting rules. In this paper we enrich this calculus with a type …
systems by means of term rewriting rules. In this paper we enrich this calculus with a type …