Spatial calculus of looping sequences

DOI10.1016/J.TCS.2011.01.020MaRDI QIDQ652132zbMATH OpenOpenAlexFDO

Authors Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini

Publication date 19 December 2011

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2011.01.020

zbMATH Keywords

systems biologyspatial modelingcalculus of looping sequences

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Software, source code, etc. for problems pertaining to biology (92-04) General biology and biomathematics (92B05)

Recommendations

• Spatial calculus of looping sequences
• A spatial extension to the \(\pi\) calculus
• The Calculus of Looping Sequences for Modeling Biological Membranes
• scientific article; zbMATH DE number 5051639
• Stochastic Calculus of Looping Sequences for the Modelling and Simulation of Cellular Pathways

Cites work

• scientific article; zbMATH DE number 1794358 (Why is no real title available?)
• scientific article; zbMATH DE number 5051639 (Why is no real title available?)
• A Core Calculus for a Comparative Analysis of Bio-inspired Calculi
• A cellular automata model for cell differentiation
• A mathematical model for quorum sensing in \textit{Pseudomonas aeruginosa}
• A spatial extension to the \(\pi\) calculus
• An overview of P-Lingua 2.0
• Application of a stochastic name-passing calculus to representation and simulation of molecular processes
• BioAmbients: an abstraction for biological compartments
• Bisimulations in calculi modelling membranes
• Brane Calculi
• Computational Methods in Systems Biology
• Computing with membranes
• Formal methods for computational systems biology. 8th international school on formal methods for the design of computer, communication, and software systems, SFM 2008 Bertinoro, Italy, June 2--7, 2008. Advanced lectures
• Formal molecular biology
• Mathematical biology. Vol. 1: An introduction.
• Mathematical biology. Vol. 2: Spatial models and biomedical applications.
• Membrane computing. An introduction.
• Mobile ambients
• Modelling biochemical pathways through enhanced \(\pi\)-calculus
• Processes in space
• Psim: A Computational Platform for Metabolic P Systems
• Stochastic Calculus of Looping Sequences for the Modelling and Simulation of Cellular Pathways
• Stochastic bigraphs
• Stochastic biological modelling in the presence of multiple compartments

Cited in

(10)

• Component identification in biochemical pathways
• Simulation of spatial P system models
• Mean-field semantics for a process calculus for spatially-explicit ecological models
• From P systems to morphogenetic systems: an overview and open problems
• A general overview of formal languages for individual-based modelling of ecosystems
• Spatial calculus of looping sequences
• Minimal probabilistic P systems for modelling ecological systems
• Compositional semantics and behavioural equivalences for reaction systems with restriction
• An algorithm for the identification of components in biochemical pathways
• A calculus of located entities

Describes a project that uses

Uses Software

• PRISM
• BioSPI
• P-Lingua
• Psim

This page was built for publication: Spatial calculus of looping sequences

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