Recommendations
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
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)
