scientific article; zbMATH DE number 5051639

MaRDI QIDQ5486047zbMATHFDO

Authors Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina

Publication date 6 September 2006

Mathematics Subject Classification ID

Biochemistry, molecular biology (92C40) Grammars and rewriting systems (68Q42) Cell biology (92C37) Theory of computing (68Q99)

Recommendations

• Modelling biochemical pathways with the calculus of looping sequences
• The Calculus of Looping Sequences for Modeling Biological Membranes
• Stochastic Calculus of Looping Sequences for the Modelling and Simulation of Cellular Pathways
• Computational Methods in Systems Biology
• Mathematical modeling for studying microbial processes -- some examples
• Prospects for declarative mathematical modeling of complex biological systems
• A mathematical treatment for the contextual dependent bio-systems
• scientific article; zbMATH DE number 3856887

Cited in

(22)

• A calculus of looping sequences with local rules
• Modular verification of interactive systems with an application to biology
• Stochastic Calculus of Looping Sequences for the Modelling and Simulation of Cellular Pathways
• Stochastic bigraphs
• nano\(\kappa\): A calculus for the modeling and simulation of nano devices
• An intermediate language for the stochastic simulation of biological systems
• Process Algebra Modelling Styles for Biomolecular Processes
• Enumerated type semantics for the calculus of looping sequences
• Simulation techniques for the calculus of wrapped compartments
• Typed stochastic semantics for the calculus of looping sequences
• Mean-field semantics for a process calculus for spatially-explicit ecological models
• Spatial calculus of looping sequences
• Bisimulations in calculi modelling membranes
• Modelling biochemical pathways with the calculus of looping sequences
• An encoding of the \(\lambda \)-calculus in the string MultiSet rewriting calculus
• Identification of components in biochemical pathways: extensive aqpplication to SBML models
• The Calculus of Looping Sequences for Modeling Biological Membranes
• An intermediate language for the simulation of biological systems
• Formal Cellular Machinery
• Spatial calculus of looping sequences
• An overview of the K semantic framework
• Type Disciplines for Analysing Biologically Relevant Properties

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5486047)