SpiCO
From MaRDI portal
Software:22649
swMATH10691MaRDI QIDQ22649FDOQ22649
Author name not available (Why is that?)
Cited In (10)
- 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
- 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
