swMATH12373MaRDI QIDQ24302FDOQ24302
Author name not available (Why is that?)
Official website: http://rd.springer.com/chapter/10.1007%2F978-3-540-68894-5_9
Cited In (34)
- Bio-PEPA: A framework for the modelling and analysis of biological systems
- Multiple verification in complex biological systems: the bone remodelling case study
- BlenX Static and Dynamic Semantics
- Formal biochemical space with semantics in Kappa and BNGL
- Analysing biochemical oscillation through probabilistic model checking
- Evolving BlenX programs to simulate the evolution of biological networks
- Stochastic simulation of multiple process calculi for biology
- Modelling biological compartments in bio-PEPA
- BLENX MODELS OF α-SYNUCLEIN AND PARKIN KINETICS IN NEUROPATHOLOGY OF PARKINSON'S DISEASE
- A proof theoretic view of spatial and temporal dependencies in biochemical systems
- Bio-PEPA with Events
- Categories of timed stochastic relations
- Verification of spatial and temporal modalities in biochemical systems
- SLMC
- occam-pi
- Constructing and visualizing chemical reaction networks from pi-calculus models
- BioShape
- BioNetGen
- BIOCHAM
- Bio-PEPAd
- PEPA
- SpiCO
- BioSPI
- KEGG2SBML
- BioAmbient Machine
- LBS
- CGV
- StochPy
- Nevada
- Cyto-Sim
- The BlenX Language with Biological Transactions
- Bio-PEPAd: a non-Markovian extension of Bio-PEPA
- Modelling patterns of gene regulation in the bond-calculus
- A language for biochemical systems: design and formal specification
This page was built for software: BlenX
