{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,26]],"date-time":"2025-07-26T08:50:04Z","timestamp":1753519804811},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540488378"},{"type":"electronic","value":"9783540488392"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11905455_7","type":"book-chapter","created":{"date-parts":[[2006,11,17]],"date-time":"2006-11-17T06:41:17Z","timestamp":1163745677000},"page":"123-152","source":"Crossref","is-referenced-by-count":20,"title":["A Graphical Representation for Biological Processes in the Stochastic pi-Calculus"],"prefix":"10.1007","author":[{"given":"Andrew","family":"Phillips","sequence":"first","affiliation":[]},{"given":"Luca","family":"Cardelli","sequence":"additional","affiliation":[]},{"given":"Giuseppe","family":"Castagna","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","unstructured":"Andre, C.: Synccharts: A visual representation of reactive behaviors. research report tr95-52, University of Nice, Sophia Antipolis (1995)"},{"key":"7_CR2","first-page":"99","volume":"3939","author":"R. Blossey","year":"2006","unstructured":"Blossey, R., Cardelli, L., Phillips, A.: A compositional approach to the stochastic dynamics of gene networks. Transactions in Computationial Systems Biology\u00a03939, 99\u2013122 (2006)","journal-title":"Transactions in Computationial Systems Biology"},{"issue":"6767","key":"7_CR3","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1038\/35002125","volume":"403","author":"M.B. Elowitz","year":"2000","unstructured":"Elowitz, M.B., Leibler, S.: A synthetic oscillatory network of transcriptional regulators. Nature\u00a0403(6767), 335\u2013338 (2000)","journal-title":"Nature"},{"key":"7_CR4","doi-asserted-by":"publisher","first-page":"580","DOI":"10.1073\/pnas.0304532101","volume":"101","author":"P. Francois","year":"2004","unstructured":"Francois, P., Hakim, V.: Design of genetic networks with specified functions by evolution in silico. PNAS\u00a0101, 580\u2013585 (2004)","journal-title":"PNAS"},{"key":"7_CR5","unstructured":"Gansner, E.R., North, S.C.: An open graph visualization system and its applications to software engineering. Software-Practice and Experience, 1\u20135 (1999)"},{"issue":"25","key":"7_CR6","doi-asserted-by":"publisher","first-page":"2340","DOI":"10.1021\/j100540a008","volume":"81","author":"D.T. Gillespie","year":"1977","unstructured":"Gillespie, D.T.: Exact stochastic simulation of coupled chemical reactions. J. Phys. Chem.\u00a081(25), 2340\u20132361 (1977)","journal-title":"J. Phys. Chem."},{"key":"7_CR7","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"Harel, D.: Statecharts: A Visual Formalism for Complex Systems. Sci. Comput. Prog.\u00a08, 231\u2013274 (1987)","journal-title":"Sci. Comput. Prog."},{"key":"7_CR8","doi-asserted-by":"publisher","first-page":"10078","DOI":"10.1073\/pnas.93.19.10078","volume":"93","author":"C.-Y.F. Huang","year":"1996","unstructured":"Huang, C.-Y.F., Ferrel Jr., J.E.: Ultrasensitivity of the mitogen-activated protein kinase cascade. PNAS\u00a093, 10078\u201310083 (1996)","journal-title":"PNAS"},{"key":"7_CR9","unstructured":"Lecca, P., Priami, C.: Cell cycle control in eukaryotes: a biospi model. In: BioConcur 2003. ENTCS (2003)"},{"key":"7_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1007\/3-540-57880-3_2","volume-title":"Programming Languages and Systems - ESOP 1994","author":"R. Milner","year":"1994","unstructured":"Milner, R.: Pi-nets: A graphical form of \u03c0-calculus. In: Sannella, D. (ed.) ESOP 1994. LNCS, vol.\u00a0788, pp. 26\u201342. Springer, Heidelberg (1994)"},{"key":"7_CR11","volume-title":"Communicating and Mobile Systems: the \u03c0-Calculus","author":"R. Milner","year":"1999","unstructured":"Milner, R.: Communicating and Mobile Systems: the \u03c0-Calculus. Cambridge University Press, Cambridge (1999)"},{"key":"7_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11419822_1","volume-title":"Formal Methods for Mobile Computing","author":"U. Montanari","year":"2005","unstructured":"Montanari, U., Pistore, M.: History-dependent automata: An introduction. In: Bernardo, M., Bogliolo, A. (eds.) SFM-Moby 2005. LNCS, vol.\u00a03465, pp. 1\u201328. Springer, Heidelberg (2005)"},{"key":"7_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1038\/msb4100014","volume":"1","author":"K. Oda","year":"2005","unstructured":"Oda, K., Matsuoka, Y., Funahashi, A., Kitano, H.: A comprehensive pathway map of epidermal growth factor receptor signaling. Molecular Systems Biology\u00a01, 1\u201317 (2005)","journal-title":"Molecular Systems Biology"},{"key":"#cr-split#-7_CR14.1","unstructured":"Petri, C.A.: Kommunikation mit Automaten. PhD thesis, Bonn: Institut f\u00fcr Instrumentelle Mathematik, Schriften des IIM Nr. 2 (1962)"},{"key":"#cr-split#-7_CR14.2","unstructured":"Second Edition: Technical Report RADC-TR-65-377, vol.1(suppl. 1). Griffiss Air Force Base, New York (1966) (English translation)"},{"key":"7_CR15","unstructured":"Phillips, A.: The Stochastic Pi-Machine, Available from: \n                  \n                    http:\/\/www.doc.ic.ac.uk\/~anp\/spim\/"},{"key":"7_CR16","unstructured":"Phillips, A., Cardelli, L.: A correct abstract machine for the stochastic pi-calculus. In: Bioconcur 2004. ENTCS (August 2004)"},{"key":"7_CR17","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/11905455_7","volume-title":"Transactions on Computational Systems Biology VII","author":"A. Phillips","year":"2006","unstructured":"Phillips, A., Cardelli, L.: A graphical representation for the stochastic pi-calculus. In: Priami, C., Ing\u00f3lfsd\u00f3ttir, A., Mishra, B., Riis Nielson, H. (eds.) Transactions on Computational Systems Biology VII. LNCS (LNBI), vol.\u00a04230, pp. 123\u2013152. Springer, Heidelberg (2006)"},{"key":"7_CR18","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/S0020-0190(01)00214-9","volume":"80","author":"C. Priami","year":"2001","unstructured":"Priami, C., Regev, A., Shapiro, E., Silverman, W.: Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Information Processing Letters\u00a080, 25\u201331 (2001)","journal-title":"Information Processing Letters"},{"issue":"6","key":"7_CR19","doi-asserted-by":"publisher","first-page":"578","DOI":"10.1093\/comjnl\/38.7.578","volume":"38","author":"C. Priami","year":"1995","unstructured":"Priami, C.: Stochastic \u03c0-calculus. The Computer Journal\u00a038(6), 578\u2013589 (1995); Proceedings of PAPM 1995 (1995)","journal-title":"The Computer Journal"},{"key":"7_CR20","first-page":"459","volume-title":"Pacific Symposium on Biocomputing","author":"A. Regev","year":"2001","unstructured":"Regev, A., Silverman, W., Shapiro, E.: Representation and simulation of biochemical processes using the pi- calculus process algebra. In: Altman, R.B., Dunker, A.K., Hunter, L., Klein, T.E. (eds.) Pacific Symposium on Biocomputing, vol.\u00a06, pp. 459\u2013470. World Scientific, Singapore (2001)"},{"key":"7_CR21","volume-title":"The \u03c0-calculus: a Theory of Mobile Processes","author":"D. Sangiorgi","year":"2001","unstructured":"Sangiorgi, D., Walker, D.: The \u03c0-calculus: a Theory of Mobile Processes. Cambridge University Press, Cambridge (2001)"},{"key":"7_CR22","unstructured":"Turner, D.N.: The Polymorphic Pi-Calculus: Theory and Implementation. PhD thesis, LFCS (June 1996); CST-126-96 (also published, ECS-LFCS-96-345)"}],"container-title":["Lecture Notes in Computer Science","Transactions on Computational Systems Biology VII"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11905455_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T23:28:10Z","timestamp":1558308490000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11905455_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540488378","9783540488392"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/11905455_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}