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