LBS

swMATH12372MaRDI QIDQ24301FDOQ24301

Author name not available (Why is that?)

Official website: http://rd.springer.com/chapter/10.1007%2F978-3-642-11712-1_3

Described by source

• A language for biochemical systems: design and formal specification

Cited In (27)

• Relating PDEs in cylindrical coordinates and CTMCs with levels of concentration
• Multi-level modelling via stochastic multi-level multiset rewriting
• 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
• A syntactic abstraction for rule-based languages with binding
• MultiVeStA
• Pirlo
• BioNetGen
• BIOCHAM
• Bio-PEPAd
• PEPA
• SpiCO
• BlenX
• Hybrid semantics for Bio-PEPA
• Executable biochemical space for specification and analysis of biochemical systems
• ERODE
• NFsim
• Smoldyn
• Dizzy
• Rule-based modeling of transcriptional attenuation at the tryptophan operon
• Symbolic computation of differential equivalences
• rxncon
• 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