LBS
From MaRDI portal
Software:24301
swMATH12372MaRDI QIDQ24301FDOQ24301
Author name not available (Why is that?)
Cited In (14)
- Rule-Based Modeling of Transcriptional Attenuation at the Tryptophan Operon
- Multi-level modelling via stochastic multi-level multiset rewriting
- A Syntactic Abstraction for Rule-Based Languages with Binding
- Foundational aspects of multiscale modeling of biological systems with process algebras
- Identification of biological transition systems using meta-interpreted logic programs
- Formal biochemical space with semantics in Kappa and BNGL
- Stochastic simulation of multiple process calculi for biology
- Modelling of DNA mismatch repair with a reversible process calculus
- Hybrid semantics for Bio-PEPA
- Executable biochemical space for specification and analysis of biochemical systems
- Relating PDEs in Cylindrical Coordinates and CTMCs with Levels of Concentration
- Symbolic computation of differential equivalences
- Bio-PEPAd: a non-Markovian extension of Bio-PEPA
- A process algebra framework for multi-scale modelling of biological systems
This page was built for software: LBS
