BlenX
From MaRDI portal
Software:24302
No author found.
Related Items (18)
A proof theoretic view of spatial and temporal dependencies in biochemical systems ⋮ BlenX Static and Dynamic Semantics ⋮ Stochastic simulation of multiple process calculi for biology ⋮ Constructing and visualizing chemical reaction networks from pi-calculus models ⋮ Modelling patterns of gene regulation in the bond-calculus ⋮ Formal biochemical space with semantics in Kappa and BNGL ⋮ Analysing Biochemical Oscillation through Probabilistic Model Checking ⋮ Multiple Verification in Complex Biological Systems: The Bone Remodelling Case Study ⋮ Evolving BlenX programs to simulate the evolution of biological networks ⋮ Modelling Biological Compartments in Bio-PEPA ⋮ Bio-PEPA: A framework for the modelling and analysis of biological systems ⋮ The BlenX Language with Biological Transactions ⋮ A Language for Biochemical Systems: Design and Formal Specification ⋮ Categories of Timed Stochastic Relations ⋮ Verification of spatial and temporal modalities in biochemical systems ⋮ Bio-PEPA with Events ⋮ Bio-PEPAd: a non-Markovian extension of Bio-PEPA ⋮ BLENX MODELS OF α-SYNUCLEIN AND PARKIN KINETICS IN NEUROPATHOLOGY OF PARKINSON'S DISEASE
This page was built for software: BlenX
