Spatial calculus of looping sequences
From MaRDI portal
Publication:652132
DOI10.1016/j.tcs.2011.01.020zbMath1230.92002OpenAlexW2009910020MaRDI QIDQ652132
Giovanni Pardini, Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo
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
Grammars and rewriting systems (68Q42) General biology and biomathematics (92B05) Software, source code, etc. for problems pertaining to biology (92-04)
Related Items (8)
An algorithm for the identification of components in biochemical pathways ⋮ Compositional semantics and behavioural equivalences for reaction systems with restriction ⋮ Minimal probabilistic P systems for modelling ecological systems ⋮ A general overview of formal languages for individual-based modelling of ecosystems ⋮ Unnamed Item ⋮ Simulation of spatial P system models ⋮ From P systems to morphogenetic systems: an overview and open problems ⋮ Component identification in biochemical pathways
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- A mathematical model for quorum sensing in \textit{Pseudomonas aeruginosa}
- 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
- Bisimulations in calculi modelling membranes
- Mobile ambients
- Computing with membranes
- Mathematical biology. Vol. 1: An introduction.
- Mathematical biology. Vol. 2: Spatial models and biomedical applications.
- Application of a stochastic name-passing calculus to representation and simulation of molecular processes
- A cellular automata model for cell differentiation
- Membrane computing. An introduction.
- Formal molecular biology
- Modelling biochemical pathways through enhanced \(\pi\)-calculus
- BioAmbients: an abstraction for biological compartments
- Stochastic biological modelling in the presence of multiple compartments
- A Spatial Extension to the π Calculus
- Processes in Space
- Stochastic Calculus of Looping Sequences for the Modelling and Simulation of Cellular Pathways
- Stochastic Bigraphs
- Psim: A Computational Platform for Metabolic P Systems
- Brane Calculi
- Computational Methods in Systems Biology
- A Core Calculus for a Comparative Analysis of Bio-inspired Calculi
- An Overview of P-Lingua 2.0
This page was built for publication: Spatial calculus of looping sequences
