swMATH10691MaRDI QIDQ22649FDOQ22649
Author name not available (Why is that?)
Official website: http://spico.gforge.inria.fr/
Cited In (19)
- Stochastic biological modelling in the presence of multiple compartments
- Efficient stochastic simulation of biological systems with multiple variable volumes
- Pathway analysis for BioAmbients
- The attributed pi-calculus with priorities
- An abstract machine for the stochastic bioambient calculus
- A Stochastic Pi Calculus for Concurrent Objects
- Constructing and visualizing chemical reaction networks from pi-calculus models
- BioNetGen
- BIOCHAM
- Succinct
- BioAmbient Machine
- BlenX
- CGV
- StochPy
- Nevada
- Dizzy
- Rule-based modeling of transcriptional attenuation at the tryptophan operon
- Biochemical reaction rules with constraints
- Modelling patterns of gene regulation in the bond-calculus
This page was built for software: SpiCO
