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
- BlenX Static and Dynamic Semantics
- A Language for Biochemical Systems: Design and Formal Specification
- Formal biochemical space with semantics in Kappa and BNGL
- Evolving BlenX programs to simulate the evolution of biological networks
- Stochastic simulation of multiple process calculi for biology
- 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
- Multiple Verification in Complex Biological Systems: The Bone Remodelling Case Study
- The BlenX Language with Biological Transactions
- Bio-PEPAd: a non-Markovian extension of Bio-PEPA
- Modelling patterns of gene regulation in the bond-calculus
- Modelling Biological Compartments in Bio-PEPA
- Analysing Biochemical Oscillation through Probabilistic Model Checking
This page was built for software: BlenX
