BlenX
From MaRDI portal
Software:24302
swMATH12373MaRDI QIDQ24302FDOQ24302
Author name not available (Why is that?)
Cited In (18)
- 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
- Constructing and visualizing chemical reaction networks from pi-calculus models
- 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
