Semantics and Efficient Simulation Algorithms of an Expressive Multilevel Modeling Language
From MaRDI portal
Publication:5270913
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
Kinetics in biochemical problems (pharmacokinetics, enzyme kinetics, etc.) (92C45) Cell biology (92C37) Systems biology, networks (92C42)
Related Items
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
Cites Work
- 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
- Unnamed Item
- Unnamed Item