The Calculus of Looping Sequences for Modeling Biological Membranes
From MaRDI portal
Publication:5452048
DOI10.1007/978-3-540-77312-2_4zbMath1137.68371MaRDI QIDQ5452048
Andrea Maggiolo-Schettini, Roberto Barbuti, Paolo Milazzo, Angelo Troina
Publication date: 28 March 2008
Published in: Membrane Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-77312-2_4
68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
92C40: Biochemistry, molecular biology
68Q42: Grammars and rewriting systems
Related Items
Measurable stochastics for Brane calculus, An intermediate language for the stochastic simulation of biological systems, An Intermediate Language for the Simulation of Biological Systems
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Computing with membranes
- Application of a stochastic name-passing calculus to representation and simulation of molecular processes
- Membrane computing. An introduction.
- Modeling and querying biomolecular interaction networks
- Formal molecular biology
- Modelling biochemical pathways through enhanced \(\pi\)-calculus
- BioAmbients: an abstraction for biological compartments
- A Simple Calculus for Proteins and Cells
- Bisimulation Congruences in the Calculus of Looping Sequences
- Stochastic Calculus of Looping Sequences for the Modelling and Simulation of Cellular Pathways
- Brane Calculi
- Computational Methods in Systems Biology