A logical and graphical framework for reaction systems
Abstract Reaction Systems (RSs) are a successful computational framework inspired by
biological systems. A RS pairs a set of entities with a set of reactions over them. Entities can …
biological systems. A RS pairs a set of entities with a set of reactions over them. Entities can …
[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 …
Spatial calculus of looping sequences
R Barbuti, A Maggiolo-Schettini, P Milazzo… - Theoretical Computer …, 2011 - Elsevier
This paper presents Spatial CLS, an extension of the Calculus of Looping Sequences (CLS)
with spatial features. Spatial CLS allows keeping track of the position of biological elements …
with spatial features. Spatial CLS allows keeping track of the position of biological elements …
[HTML][HTML] Compositional semantics and behavioural equivalences for reaction systems with restriction
G Pardini, R Barbuti, A Maggiolo-Schettini… - Theoretical Computer …, 2014 - Elsevier
Reaction systems are an abstract model of interactions among biochemical reactions,
developed around two opposite mechanisms: facilitation and inhibition. The evolution of a …
developed around two opposite mechanisms: facilitation and inhibition. The evolution of a …
A process algebraic approach to reaction systems
In the area of Natural Computing, Reaction Systems (RSs) are a qualitative abstraction
inspired by the functioning of living cells, suitable to model the main mechanisms of …
inspired by the functioning of living cells, suitable to model the main mechanisms of …
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 …