The following pages link to LBS (Q24301):
Displayed 14 items.
- A process algebra framework for multi-scale modelling of biological systems (Q388145) (← links)
- Foundational aspects of multiscale modeling of biological systems with process algebras (Q418838) (← links)
- Stochastic simulation of multiple process calculi for biology (Q418846) (← links)
- Bio-PEPAd: a non-Markovian extension of Bio-PEPA (Q764354) (← links)
- Identification of biological transition systems using meta-interpreted logic programs (Q1621890) (← links)
- Formal biochemical space with semantics in Kappa and BNGL (Q1744366) (← links)
- Modelling of DNA mismatch repair with a reversible process calculus (Q2148904) (← links)
- Executable biochemical space for specification and analysis of biochemical systems (Q2229140) (← links)
- Hybrid semantics for Bio-PEPA (Q2453221) (← links)
- Rule-Based Modeling of Transcriptional Attenuation at the Tryptophan Operon (Q3068849) (← links)
- Multi-level modelling via stochastic multi-level multiset rewriting (Q4917198) (← links)
- A Syntactic Abstraction for Rule-Based Languages with Binding (Q5166643) (← links)
- Relating PDEs in Cylindrical Coordinates and CTMCs with Levels of Concentration (Q5404086) (← links)
- Symbolic computation of differential equivalences (Q5920213) (← links)