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