Computational Methods in Systems Biology

DOI10.1007/b107287zbMath1088.68659OpenAlexW4205605414MaRDI QIDQ5712379

Vincent Danos, S. Pradalier

Publication date: 23 December 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b107287

Mathematics Subject Classification ID

Biochemistry, molecular biology (92C40) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (17)

Modelling of DNA mismatch repair with a reversible process calculus ⋮ Unnamed Item ⋮ Formal Cellular Machinery ⋮ Pathway analysis for BioAmbients ⋮ Membrane computing and brane calculi. Old, new, and future bridges ⋮ Membrane systems with proteins embedded in membranes ⋮ Decision problems in membrane systems with peripheral proteins, transport and evolution ⋮ A simple calculus for proteins and cells ⋮ Stochastic biological modelling in the presence of multiple compartments ⋮ A Projective Brane Calculus with Activate, Bud and Mate as Primitive Actions ⋮ A Higher-Order Graph Calculus for Autonomic Computing ⋮ Membrane Computing and Brane Calculi (Some Personal Notes) ⋮ Membrane Systems with Marked Membranes ⋮ Membrane Systems with Peripheral Proteins: Transport and Evolution ⋮ Tissue P Systems and (Mem)Brane Systems with Mate and Drip Operations Working on Strings ⋮ A Simple Calculus for Proteins and Cells ⋮ Undecidability of Model Checking in Brane Logic

This page was built for publication: Computational Methods in Systems Biology