Formal Cellular Machinery

DOI10.1016/j.entcs.2012.05.015zbMath1283.92039OpenAlexW2042001106WikidataQ113318110 ScholiaQ113318110MaRDI QIDQ5404096

Jean Krivine, Espen Højsgaard, Troels C. Damgaard

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

zbMATH Keywords

projectivitymembraneterm rewritingsystems biologybigraphscompartmentKapparule-based modeling

Mathematics Subject Classification ID

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

Related Items (4)

Using bigraphs to model topological graphs embedded in orientable surfaces ⋮ Computing Embeddings of Directed Bigraphs ⋮ An algebraic approach for inferring and using symmetries in rule-based models ⋮ Semantics and Efficient Simulation Algorithms of an Expressive Multilevel Modeling Language

Cites Work

• 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
• Bitonal membrane systems: interactions of biological membranes
• BioAmbients: an abstraction for biological compartments
• DBtk: A Toolkit for Directed Bigraphs
• Biochemical Reaction Rules with Constraints
• The Space and Motion of Communicating Agents
• Computational Methods in Systems Biology
• Brane Calculi
• Computational Methods in Systems Biology
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Formal Cellular Machinery