The Calculus of Looping Sequences for Modeling Biological Membranes
From MaRDI portal
Publication:5452048
DOI10.1007/978-3-540-77312-2_4zbMath1137.68371OpenAlexW2129809664MaRDI 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
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Biochemistry, molecular biology (92C40) Grammars and rewriting systems (68Q42)
Related Items (3)
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
This page was built for publication: The Calculus of Looping Sequences for Modeling Biological Membranes