scientific article; zbMATH DE number 5051639

zbMath1101.92021MaRDI QIDQ5486047

Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina

Publication date: 6 September 2006

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Biochemistry, molecular biology (92C40) Cell biology (92C37) Grammars and rewriting systems (68Q42) Theory of computing (68Q99)

Related Items

Simulation techniques for the calculus of wrapped compartments ⋮ Typed stochastic semantics for the calculus of looping sequences ⋮ Unnamed Item ⋮ Spatial calculus of looping sequences ⋮ Bisimulations in calculi modelling membranes ⋮ Enumerated type semantics for the calculus of looping sequences ⋮ Spatial Calculus of Looping Sequences ⋮ Modular Verification of Interactive Systems with an Application to Biology ⋮ Formal Cellular Machinery ⋮ nano\(\kappa\): A calculus for the modeling and simulation of nano devices ⋮ Stochastic Bigraphs ⋮ Type Disciplines for Analysing Biologically Relevant Properties ⋮ An intermediate language for the stochastic simulation of biological systems ⋮ An overview of the K semantic framework ⋮ The Calculus of Looping Sequences for Modeling Biological Membranes ⋮ Process Algebra Modelling Styles for Biomolecular Processes ⋮ An Intermediate Language for the Simulation of Biological Systems ⋮ Identification of components in biochemical pathways: extensive aqpplication to SBML models