Evolving BlenX programs to simulate the evolution of biological networks

DOI10.1016/j.tcs.2008.07.013zbMath1160.68678OpenAlexW2071492316WikidataQ57942015 ScholiaQ57942015MaRDI QIDQ959795

L. Dematté, Orkun S. Soyer, Alessandro Romanel, Corrado Priami

Publication date: 12 December 2008

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2008.07.013

zbMATH Keywords

evolutionevolutionary algorithmsstochastic simulationprocess calculi

Mathematics Subject Classification ID

Related Items (12)

A proof theoretic view of spatial and temporal dependencies in biochemical systems ⋮ 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 ⋮ A Framework for Modelling and Simulating Networks of Cells ⋮ 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 ⋮ Categories of Timed Stochastic Relations ⋮ Bio-PEPAd: a non-Markovian extension of Bio-PEPA

Uses Software

• BlenX

Cites Work

• Unnamed Item
• Evolving BlenX programs to simulate the evolution of biological networks
• Application of a stochastic name-passing calculus to representation and simulation of molecular processes
• The Decidability of the Structural Congruence for Beta-binders
• Computational Methods in Systems Biology

This page was built for publication: Evolving BlenX programs to simulate the evolution of biological networks