Pages that link to "Item:Q959795"
From MaRDI portal
The following pages link to Evolving BlenX programs to simulate the evolution of biological networks (Q959795):
Displayed 12 items.
- Stochastic simulation of multiple process calculi for biology (Q418846) (← links)
- Constructing and visualizing chemical reaction networks from pi-calculus models (Q470031) (← links)
- Bio-PEPAd: a non-Markovian extension of Bio-PEPA (Q764354) (← links)
- Evolving BlenX programs to simulate the evolution of biological networks (Q959795) (← links)
- Formal biochemical space with semantics in Kappa and BNGL (Q1744366) (← links)
- Modelling patterns of gene regulation in the bond-calculus (Q2229141) (← links)
- Bio-PEPA: A framework for the modelling and analysis of biological systems (Q2271444) (← links)
- A proof theoretic view of spatial and temporal dependencies in biochemical systems (Q2628774) (← links)
- Categories of Timed Stochastic Relations (Q2805158) (← links)
- Modelling Biological Compartments in Bio-PEPA (Q5179426) (← links)
- Analysing Biochemical Oscillation through Probabilistic Model Checking (Q5404071) (← links)
- A Framework for Modelling and Simulating Networks of Cells (Q5404091) (← links)