{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T18:14:01Z","timestamp":1648836841917},"reference-count":17,"publisher":"Open Publishing Association","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electron. Proc. Theor. Comput. Sci.","EPTCS"],"DOI":"10.4204\/eptcs.40.1","type":"journal-article","created":{"date-parts":[[2010,10,30]],"date-time":"2010-10-30T03:42:31Z","timestamp":1288410151000},"page":"1-5","source":"Crossref","is-referenced-by-count":0,"title":["Stochastic Simulation of Process Calculi for Biology"],"prefix":"10.4204","volume":"40","author":[{"given":"Andrew","family":"Phillips","sequence":"first","affiliation":[{"name":"Microsoft Research"}]},{"given":"Matthew","family":"Lakin","sequence":"additional","affiliation":[{"name":"Microsoft Research"}]},{"given":"Lo\u00efc","family":"Paulev\u00e9","sequence":"additional","affiliation":[{"name":"Ecole Centrale de Nantes"}]}],"member":"2720","published-online":{"date-parts":[[2010,10,30]]},"reference":[{"issue":"41","key":"Bratsun05","doi-asserted-by":"crossref","first-page":"14593","DOI":"10.1073\/pnas.0503858102","article-title":"Delay-induced stochastic oscillations in gene regulation","volume":"102","author":"Dmitri Bratsun","year":"2005","journal-title":"Proceedings of the National Academy of Sciences of the United States of America"},{"key":"Danos07","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/978-3-540-74407-8_3","volume-title":"CONCUR 2007 - Concurrency Theory","author":"Vincent Danos","year":"2007"},{"issue":"4","key":"Dematte08SIG","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1145\/1364644.1364653","article-title":"Modelling and simulation of biological processes in BlenX","volume":"35","author":"Lorenzo Dematt\u00e9","year":"2008","journal-title":"SIGMETRICS Performance Evaluation Review"},{"key":"Ewald2010","doi-asserted-by":"publisher","DOI":"10.1093\/bib\/bbp067","article-title":"Flexible experimentation in the modeling and simulation framework JAMES II -- implications for computational systems biology.","author":"Roland Ewald","year":"2010","journal-title":"Brief Bioinform"},{"issue":"9","key":"Gibson00","doi-asserted-by":"crossref","first-page":"1876","DOI":"10.1021\/jp993732q","article-title":"Efficient Exact Stochastic Simulation of Chemical Systems with Many Species and Many Channels","volume":"104","author":"Michael A. Gibson","year":"2000","journal-title":"The Journal of Physical Chemistry A"},{"issue":"25","key":"Gillespie77","doi-asserted-by":"crossref","first-page":"2340","DOI":"10.1021\/j100540a008","article-title":"Exact stochastic simulation of coupled chemical reactions","volume":"81","author":"Daniel T. Gillespie","year":"1977","journal-title":"J. Phys. Chem."},{"key":"Gillespie01","doi-asserted-by":"crossref","first-page":"1716","DOI":"10.1063\/1.1378322","article-title":"Approximate accelerated stochastic simulation of chemically reacting systems","volume":"115","author":"Daniel T. Gillespie","year":"2001","journal-title":"J. Chem. Phys."},{"key":"Pauleve-etal-CMSB10","first-page":"43","article-title":"A generic abstract machine for stochastic process calculi","volume-title":"CMSB '10: Proceedings of the 8th International Conference on Computational Methods in Systems Biology","author":"Lo\"\u0131 c Paulev'e","year":"2010"},{"key":"Pedersen-Phillips-Interface09","first-page":"437","article-title":"Towards programming languages for genetic engineering of living cells","volume":"6","author":"Michael Pedersen","year":"2009","journal-title":"Journal of the Royal Society Interface"},{"key":"Phillips-ENTCS09","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1016\/j.entcs.2008.12.109","article-title":"An Abstract Machine for the Stochastic Bioambient Calculus","volume":"227","author":"Andrew Phillips","year":"2009","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"Phillips-Cardelli-CMSB07","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1007\/978-3-540-75140-3_13","article-title":"Efficient, Correct Simulation of Biological Processes in the Stochastic Pi-calculus","volume-title":"Computational Methods in Systems Biology","volume":"4695","author":"Andrew Phillips","year":"2007"},{"key":"Phillips-Cardelli-Interface09","first-page":"419","article-title":"A programming language for composable DNA circuits","volume":"6","author":"Andrew Phillips","year":"2009","journal-title":"Journal of the Royal Society Interface"},{"key":"Priamietal01","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/S0020-0190(01)00214-9","article-title":"Application of a stochastic name-passing calculus to representation and simulation of molecular processes","volume":"80","author":"C. Priami","year":"2001","journal-title":"Information Processing Letters"},{"key":"Regevetal01","first-page":"459","article-title":"Representation and Simulation of Biochemical Processes Using the pi-Calculus Process Algebra","volume-title":"Pacific Symposium on Biocomputing","volume":"6","author":"A. Regev","year":"2001"},{"issue":"1","key":"Bioambients","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/j.tcs.2004.03.061","article-title":"BioAmbients: an abstraction for biological compartments","volume":"325","author":"Aviv Regev","year":"2004","journal-title":"Theor. Comput. Sci."},{"key":"Tian-Burrage-04","doi-asserted-by":"crossref","first-page":"10356","DOI":"10.1063\/1.1810475","article-title":"Binomial leap methods for simulating stochastic chemical kinetics","volume":"121","author":"Tianhai Tian","year":"2004","journal-title":"J. Chem. Phys."},{"issue":"118","key":"Wang-etal-BMCSB09","article-title":"Computational modeling of the EGFR network elucidates control mechanisms regulating signal dynamics","volume":"3","author":"Dennis Y. Q. Wang","year":"2009","journal-title":"BMC Systems Biology"}],"container-title":["Electronic Proceedings in Theoretical Computer Science"],"original-title":[],"language":"en","deposited":{"date-parts":[[2019,3,5]],"date-time":"2019-03-05T17:32:54Z","timestamp":1551807174000},"score":1,"resource":{"primary":{"URL":"http:\/\/arxiv.org\/abs\/1011.0487v1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,10,30]]},"references-count":17,"URL":"https:\/\/doi.org\/10.4204\/eptcs.40.1","relation":{},"ISSN":["2075-2180"],"issn-type":[{"value":"2075-2180","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,10,30]]}}}