Multi-level modelling via stochastic multi-level multiset rewriting

DOI10.1017/S0960129512000199zbMath1318.92015OpenAlexW2153845491WikidataQ61458424 ScholiaQ61458424MaRDI QIDQ4917198

Nicolas Oury, Gordon D. Plotkin

Publication date: 29 April 2013

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129512000199

zbMATH Keywords

agentsvirus infectionmulti-level multisets

Mathematics Subject Classification ID

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

Related Items

Nonlinear pattern matching in rule-based modeling languages ⋮ Simulation techniques for the calculus of wrapped compartments ⋮ Typed stochastic semantics for the calculus of looping sequences ⋮ Containment in Rule-Based Models ⋮ Semantics and Efficient Simulation Algorithms of an Expressive Multilevel Modeling Language

Uses Software

• LBS

Cites Work

• Bitonal membrane systems: interactions of biological membranes
• Membrane computing and brane calculi. Old, new, and future bridges
• Application of a stochastic name-passing calculus to representation and simulation of molecular processes
• BioAmbients: an abstraction for biological compartments
• GemCell: A generic platform for modeling multi-cellular biological systems
• A Language for Biochemical Systems: Design and Formal Specification
• Computing with Cells
• The Space and Motion of Communicating Agents
• Implementing collection classes with monads
• Term Rewriting and All That
• Stochastic Calculus of Looping Sequences for the Modelling and Simulation of Cellular Pathways
• Stochastic Bigraphs
• Brane Calculi