A graphical representation for biological processes in the stochastic pi-calculus

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4230 LNBI, Issue , 2006, Pages 123-152

  Phillips, Andrew ^a   Cardelli, Luca ^a   Castagna, Giuseppe ^b  

^a MICROSOFT RESEARCH   (United Kingdom)

^b École Normnale Supérieure   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; GENES; MATHEMATICAL MODELS; RANDOM PROCESSES;

BISTABLE GENE NETWORK; COMPUTER SCIENTISTS;

GRAPH THEORY;

EID: 38049185800     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11905455_7     Document Type: Conference Paper

References (22)

1. Ch. Andre. Synccharts: A visual representation of reactive behaviors. research report tr95-52, University of Nice, Sophia Antipolis, 1995.
2. Ralf Blossey, Luca Cardelli, and Andrew Phillips. A compositional approach to the stochastic dynamics of gene networks. Transactions in Computationial Systems Biology, 3939:99-122, January 2006.
3. Michael B. Elowitz and Stanislas Leibler. A synthetic oscillatory network of transcriptional regulators. Nature, 403(6767):335-338, January 2000.
4. Paul Francois and Vincent Hakim. Design of genetic networks with specified functions by evolution in silico. PNAS, 101:580-585, 2004.
5. Emden R. Gansner and Stephen C. North. An open graph visualization system and its applications to software engineering. Software-Practice and Experience, 1-5, 1999.
6. Daniel T. Gillespie. Exact stochastic simulation of coupled chemical reactions. J. Phys. Chem., 81(25):2340-2361, 1977.
7. David Harel. Statecharts : A Visual Formalism for Complex Systems. Sci. Comput. Prog., 8:231-274, 1987.
8. Chi-Ying F. Huang and James E. Ferrel Jr. Ultrasensitivity of the mitogen-activated protein kinase cascade. PNAS, 93:10078-10083, 1996.
9. Paola Lecca and Corrado Priami. Cell cycle control in eukaryotes: a biospi model. In BioConcur'03. ENTCS, 2003.
10. Robin Milner. Pi-nets: A graphical form of π-calculus, In ESOP'94, pages 26-42, 1994.
11. Robin Milner. Communicating and Mobile Systems: the π-Calculus. Cambridge University Press, May 1999.
12. Ugo Montanari and Marco Pistore. History-dependent automata: An introduction. Lecture Notes in Computer Science, 3465:1-28, 2005.
13. Kanae Oda, Yukiko Matsuoka, Akira Funahashil, and Hiroaki Kitano. A comprehensive pathway map of epidermal growth factor receptor signaling. Molecular Systems Biology, 1:E1-E17, May 2005.
14. Carl Adam Petri. Kommunikation mit Automaten. PhD thesis, Bonn: Institut für Instrumentelle Mathematik, Schriften des IIM Nr. 2, 1962. Second Edition:, New York: Griffiss Air Force Base, Technical Report RADC-TR-65-377, Vol.1, 1966, Pages: Suppl. 1, English translation.
15. Andrew Phillips. The Stochastic Pi-Machine. Available from http://www.doc.ic.ac.uk/~anp/spim/.
16. Andrew Phillips and Luca Cardelli. A correct abstract machine for the stochastic pi-calculus. In Bioconcur'04. ENTCS, August 2004.
17. Andrew Phillips and Luca Cardelli. A graphical representation for the stochastic pi-calculus. In Bioconcur'05, August 2005.
18. C. Priami, A. Regev, E. Shapiro, and W. Silverman. Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Information Processing Letters, 80:25-31, 2001.
19. Corrado Priami. Stochastic π-calculus. The Computer Journal, 38(6):578-589, 1995. Proceedings of PAPM'95.
20. A. Regev, W. Silverman, and E. Shapiro. Representation and simulation of biochemical processes using the pi- calculus process algebra. In R. B. Altman, A. K. Dunker, L. Hunter, and T. E. Klein, editors, Pacific Symposium on Biocomputing, volume 6, pages 459-470, Singapore, 2001. World Scientific Press.
21. Davide Sangiorgi and David Walker. The π-calculus: a Theory of Mobile Processes. Cambridge University Press, 2001.
22. David N. Turner. The Polymorphic Pi-Calculus: Theory and Implementation. PhD thesis, LFCS, June 1996. CST-126-96 (also published as ECS-LFCS-96-345).