Formal Cellular Machinery

DOI10.1016/J.ENTCS.2012.05.015zbMATH Open1283.92039OpenAlexW2042001106WikidataQ113318110 ScholiaQ113318110MaRDI QIDQ5404096FDOQ5404096

Authors: Troels Christoffer Damgaard, Espen Højsgaard, Jean Krivine 

Publication date: 21 March 2014

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

Full work available at URL: https://doi.org/10.1016/j.entcs.2012.05.015

Recommendations

• Complex cellular structures
• Publication:4861616
• Canonical Form and Synthesis of Cellular Cascades
• Generalized cell structures
• Publication:4487187
• Towards a formal description of intracellular biochemical organization
• Advances in cell mechanics

zbMATH Keywords

systems biologyprojectivityterm rewritingmembranebigraphscompartmentKapparule-based modeling

Mathematics Subject Classification ID

Systems biology, networks (92C42) Grammars and rewriting systems (68Q42)

Cites Work

• Title not available (Why is that?)
• BioAmbients: an abstraction for biological compartments
• Brane Calculi
• 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
• Title not available (Why is that?)
• Title not available (Why is that?)
• Computational Methods in Systems Biology
• The Space and Motion of Communicating Agents
• Title not available (Why is that?)
• Biochemical reaction rules with constraints
• Bitonal membrane systems: interactions of biological membranes
• Computational Methods in Systems Biology
• \textsf{DBtk}: a toolkit for directed bigraphs

Cited In (9)

• Regulatory of cells associations: The functional unit
• Transactions on Computational Systems Biology III
• Semantics and efficient simulation algorithms of an expressive multilevel modeling language
• Complex cellular structures
• Computational and Information Science
• Computing embeddings of directed bigraphs
• An algebraic approach for inferring and using symmetries in rule-based models
• A Definition of Cellular Interface Problems
• Using bigraphs to model topological graphs embedded in orientable surfaces

This page was built for publication: Formal Cellular Machinery

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5404096)