LBS
From MaRDI portal
Cited in
(28)- Rule-based modeling of transcriptional attenuation at the tryptophan operon
- Multi-level modelling via stochastic multi-level multiset rewriting
- Symbolic computation of differential equivalences
- Stochastic simulation of multiple process calculi for biology
- Foundational aspects of multiscale modeling of biological systems with process algebras
- Relating PDEs in cylindrical coordinates and CTMCs with levels of concentration
- Identification of biological transition systems using meta-interpreted logic programs
- Hybrid semantics for Bio-PEPA
- Bio-PEPA
- MultiVeStA
- Pirlo
- BioNetGen
- BIOCHAM
- Bio-PEPAd
- PEPA
- SpiCO
- BlenX
- ERODE
- A process algebra framework for multi-scale modelling of biological systems
- NFsim
- Smoldyn
- Dizzy
- Executable biochemical space for specification and analysis of biochemical systems
- A syntactic abstraction for rule-based languages with binding
- Formal biochemical space with semantics in Kappa and BNGL
- rxncon
- Modelling of DNA mismatch repair with a reversible process calculus
- Bio-PEPAd: a non-Markovian extension of Bio-PEPA
This page was built for software: LBS
