BlenX
From MaRDI portal
Cited in
(35)- Constructing and visualizing chemical reaction networks from pi-calculus models
- Bio-PEPA with Events
- Analysing biochemical oscillation through probabilistic model checking
- Evolving BlenX programs to simulate the evolution of biological networks
- BLENX MODELS OF α-SYNUCLEIN AND PARKIN KINETICS IN NEUROPATHOLOGY OF PARKINSON'S DISEASE
- Stochastic simulation of multiple process calculi for biology
- Bio-PEPA: A framework for the modelling and analysis of biological systems
- Modelling biological compartments in bio-PEPA
- The BlenX Language with Biological Transactions
- Bio-PEPA
- SLMC
- occam-pi
- BioShape
- BioNetGen
- BIOCHAM
- Bio-PEPAd
- PEPA
- SpiCO
- BioSPI
- KEGG2SBML
- BioAmbient Machine
- LBS
- CGV
- StochPy
- Nevada
- Cyto-Sim
- A proof theoretic view of spatial and temporal dependencies in biochemical systems
- Modelling patterns of gene regulation in the bond-calculus
- Formal biochemical space with semantics in Kappa and BNGL
- Categories of timed stochastic relations
- A language for biochemical systems: design and formal specification
- Verification of spatial and temporal modalities in biochemical systems
- Multiple verification in complex biological systems: the bone remodelling case study
- BlenX Static and Dynamic Semantics
- Bio-PEPAd: a non-Markovian extension of Bio-PEPA
This page was built for software: BlenX
