Semantics and Efficient Simulation Algorithms of an Expressive Multilevel Modeling Language

DOI10.1145/2998499zbMath1369.93068OpenAlexW2615981627MaRDI QIDQ5270913

Carsten Maus, Tobias Helms, Adelinde M. Uhrmacher, Tom Warnke

Publication date: 3 July 2017

Published in: ACM Transactions on Modeling and Computer Simulation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2998499

zbMATH Keywords

performanceformal languagesmultilevel modelingsimulation algorithms

Mathematics Subject Classification ID

Kinetics in biochemical problems (pharmacokinetics, enzyme kinetics, etc.) (92C45) Cell biology (92C37) Systems biology, networks (92C42)

Related Items (3)

Nonlinear pattern matching in rule-based modeling languages ⋮ Replicated Computations Results (RCR) Report for “Semantics and Efficient Simulation Algorithms for an Expressive Multi-Level Modeling Language” ⋮ Semantics and Efficient Simulation Algorithms of an Expressive Multilevel Modeling Language

Uses Software

• ANTLR
• Haskell
• BioNetGen
• CARMA

Cites Work

• Unnamed Item
• Unnamed Item
• Exploring the performance of spatial stochastic simulation algorithms
• Multiscale stochastic simulation algorithm with stochastic partial equilibrium assumption for chemically reacting systems
• Nested stochastic simulation algorithms for chemical kinetic systems with multiple time scales
• Formal molecular biology
• BioAmbients: an abstraction for biological compartments
• Structural adaptation and robustness of Dictyostelium ligand-receptor kinetics for low and high ligand concentrations
• Biochemical Reaction Rules with Constraints
• The Attributed Pi-Calculus with Priorities
• BlenX Static and Dynamic Semantics
• Modeling formalisms for dynamic structure systems
• Multi-level modelling via stochastic multi-level multiset rewriting
• Intensional Couplings in Variable-Structure Models
• Semantics and Efficient Simulation Algorithms of an Expressive Multilevel Modeling Language
• Formal Cellular Machinery
• Stochastic Bigraphs
• Computational Methods in Systems Biology

This page was built for publication: Semantics and Efficient Simulation Algorithms of an Expressive Multilevel Modeling Language