Name
Abstract | ||
|---|---|---|
This paper presents a graphical representation for the stochastic π-calculus, which is formalised by defining a corresponding graphical calculus. The graphical calculus is shown to be reduction equivalent to stochastic π, ensuring that the two calculi have the same expressive power. The graphical representation is used to model a couple of example biological systems, namely a bistable gene network and a mapk signalling cascade. One of the benefits of the representation is its ability to highlight the existence of cycles, which are a key feature of biological systems. Another benefit is its ability to animate interactions between system components, in order to visualise system dynamics. The graphical representation can also be used as a front end to a simulator for the stochastic π-calculus, to help make modelling and simulation of biological systems more accessible to non computer scientists. |
Year | DOI | Venue |
|---|---|---|
2006 | 10.1007/11905455_7 | T. Comp. Sys. Biology |
Keywords | Field | DocType |
biological process,example biological system,graphical representation,graphical calculus,corresponding graphical calculus,system dynamic,expressive power,bistable gene network,biological system,stochastic pi-calculus,computer scientist,system component,system dynamics,front end,gene network,biological systems | Front and back ends,Bistability,Chemical equation,Computer science,Pi calculus,Theoretical computer science,Artificial intelligence,Cascade,System dynamics,Gene regulatory network,Expressive power,Machine learning | Journal |
Volume | ISSN | ISBN |
4230 | 0302-9743 | 3-540-48837-5 |
Citations | PageRank | References |
30 | 2.02 | 9 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Andrew Phillips | 1 | 227 | 17.50 |
| Luca Cardelli | 2 | 6221 | 1002.41 |
| Giuseppe Castagna | 3 | 1270 | 128.82 |