{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,5]],"date-time":"2026-10-05T11:03:53Z","timestamp":1791198233659,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540751397","type":"print"},{"value":"9783540751403","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-75140-3_13","type":"book-chapter","created":{"date-parts":[[2007,8,31]],"date-time":"2007-08-31T05:03:10Z","timestamp":1188536590000},"page":"184-199","source":"Crossref","is-referenced-by-count":73,"title":["Efficient, Correct Simulation of Biological Processes in the Stochastic Pi-calculus"],"prefix":"10.1007","author":[{"given":"Andrew","family":"Phillips","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Luca","family":"Cardelli","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"13_CR1","unstructured":"Bloch, A., Haagensen, B., Hoyer, M.K., Knudsen, S.U.: The StoPi-calculus and Simulator, http:\/\/www.cs.aau.dk\/bh\/education.html"},{"key":"13_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 Computational Systems Biology\u00a03939, 99\u2013122 (2006)","journal-title":"Transactions in Computational Systems Biology"},{"key":"13_CR3","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)"},{"key":"13_CR4","doi-asserted-by":"crossref","first-page":"1876","DOI":"10.1021\/jp993732q","volume":"104","author":"M.A. Gibson","year":"2000","unstructured":"Gibson, M.A., Bruck, J.: Efficient exact stochastic simulation of chemical systems with many species and many channels. J. Phys. Chem.\u00a0104, 1876\u20131889 (2000)","journal-title":"J. Phys. Chem."},{"issue":"25","key":"13_CR5","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":"13_CR6","doi-asserted-by":"publisher","first-page":"1716","DOI":"10.1063\/1.1378322","volume":"115","author":"D.T. Gillespie","year":"2001","unstructured":"Gillespie, D.T.: Approximate accelerated stochastic simulation of chemically reacting systems. J. Chem. Phys.\u00a0115, 1716\u20131733 (2001)","journal-title":"J. Chem. Phys."},{"key":"13_CR7","unstructured":"Lecca, P., Priami, C.: Cell cycle control in eukaryotes: a biospi model. In: BioConcur 2003. ENTCS (2003)"},{"key":"13_CR8","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":"13_CR9","unstructured":"Phillips, A.: The Stochastic Pi-Machine (2006), Available from http:\/\/research.microsoft.com\/~aphillip\/spim\/"},{"key":"13_CR10","unstructured":"Phillips, A., Cardelli, L.: A correct abstract machine for the stochastic pi-calculus. In: Bioconcur 2004, ENTCS (August 2004)"},{"key":"13_CR11","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., Castagna, G.: A graphical representation for biological processes in the stochastic pi-calculus. In: Priami, C., Ing\u00f3lfsd\u00f3ttir, A., Mishra, B., Nielson, H.R. (eds.) Transactions on Computational Systems Biology VII. LNCS (LNBI), vol.\u00a04230, pp. 123\u2013152. Springer, Heidelberg (2006)"},{"key":"13_CR12","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"},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"Regev, A., Silverman, W., Shapiro, E.: Representation and simulation of biochemical processes using the pi- calculus process algebra. In: Pacific Symposium on Biocomputing, vol.\u00a06, pp. 459\u2013470 (2001)","DOI":"10.1142\/9789814447362_0045"},{"key":"13_CR14","unstructured":"Romanel, A., Dematte, L., Priami, C.: The Beta Workbench. Available from http:\/\/www.cosbi.eu\/Rpty_Soft_BetaWB.php"},{"key":"13_CR15","doi-asserted-by":"publisher","first-page":"10356","DOI":"10.1063\/1.1810475","volume":"121","author":"T. Tian","year":"2004","unstructured":"Tian, T., Burrage, K.: Binomial leap methods for simulating stochastic chemical kinetics. J. Chem. Phys.\u00a0121, 10356\u201310364 (2004)","journal-title":"J. Chem. Phys."},{"key":"13_CR16","unstructured":"Turner, D.N.: The Polymorphic Pi-Calculus: Theory and Implementation. PhD thesis CST-126-96 (June 1996) (also published as ECS-LFCS-96-345)"}],"container-title":["Lecture Notes in Computer Science","Computational Methods in Systems Biology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75140-3_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T19:32:17Z","timestamp":1737401537000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75140-3_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540751397","9783540751403"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75140-3_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[]}}