SpiCO

swMATH10691MaRDI QIDQ22649FDOQ22649

scientific article; zbMATH DE number Author name (Why is no real title available?)

Official website: http://spico.gforge.inria.fr/

(20)

• Pathway analysis for BioAmbients
• Constructing and visualizing chemical reaction networks from pi-calculus models
• The attributed pi-calculus with priorities
• Rule-based modeling of transcriptional attenuation at the tryptophan operon
• Bio-PEPA
• BioNetGen
• BIOCHAM
• Succinct
• BioAmbient Machine
• BlenX
• CGV
• StochPy
• Nevada
• Dizzy
• Biochemical reaction rules with constraints
• Stochastic biological modelling in the presence of multiple compartments
• Modelling patterns of gene regulation in the bond-calculus
• An abstract machine for the stochastic bioambient calculus
• Efficient stochastic simulation of biological systems with multiple variable volumes
• A Stochastic Pi Calculus for Concurrent Objects

This page was built for software: SpiCO