{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,4]],"date-time":"2026-05-04T20:28:41Z","timestamp":1777926521584,"version":"3.51.4"},"reference-count":16,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[2001,10,1]],"date-time":"2001-10-01T00:00:00Z","timestamp":1001894400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Information Processing Letters"],"published-print":{"date-parts":[[2001,10]]},"DOI":"10.1016\/s0020-0190(01)00214-9","type":"journal-article","created":{"date-parts":[[2002,10,14]],"date-time":"2002-10-14T13:55:05Z","timestamp":1034603705000},"page":"25-31","source":"Crossref","is-referenced-by-count":314,"title":["Application of a stochastic name-passing calculus to representation and simulation of molecular processes"],"prefix":"10.1016","volume":"80","author":[{"given":"Corrado","family":"Priami","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aviv","family":"Regev","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ehud","family":"Shapiro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"William","family":"Silverman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"issue":"6767","key":"10.1016\/S0020-0190(01)00214-9_BIB002","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1038\/35002258","article-title":"Circadian clocks limited by noise","volume":"403","author":"Barkai","year":"2000","journal-title":"Nature"},{"key":"10.1016\/S0020-0190(01)00214-9_BIB003","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1006\/inco.1998.2706","article-title":"A formal approach to the integration of performance aspects in the modelling and analysis of concurrent systems","volume":"144","author":"Bernardo","year":"1998","journal-title":"Inform. and Comput."},{"key":"10.1016\/S0020-0190(01)00214-9_BIB004","series-title":"On a Markovian process algebra, Technical Report 500, Informatik IV","author":"Buchholz","year":"1994"},{"key":"10.1016\/S0020-0190(01)00214-9_BIB005","series-title":"Proc. PROCOMET'98","first-page":"126","article-title":"An algebraic approach to the specification of stochastic systems","author":"D'Argenio","year":"1998"},{"key":"10.1016\/S0020-0190(01)00214-9_BIB006","series-title":"Proc. PAPM96","first-page":"199","article-title":"Performance modelling and verification of cache coherency protocols","author":"Field","year":"1996"},{"issue":"25","key":"10.1016\/S0020-0190(01)00214-9_BIB007","doi-asserted-by":"crossref","first-page":"2340","DOI":"10.1021\/j100540a008","article-title":"Exact stochastic simulation of coupled chemical reactions","volume":"81","author":"Gillespie","year":"1977","journal-title":"J. Phys. Chemistry"},{"key":"10.1016\/S0020-0190(01)00214-9_BIB008","series-title":"Proc. Performance Evaluation of Computer and Communication Systems","first-page":"121","article-title":"Multiprocessor and distributed system design: The integration of functional specification and performance analysis using stochastic process algebras","volume":"729","author":"Goetz","year":"1993"},{"key":"10.1016\/S0020-0190(01)00214-9_BIB009","doi-asserted-by":"crossref","first-page":"6750","DOI":"10.1073\/pnas.95.12.6750","article-title":"Quantitative modeling of stochastic systems in molecular biology by using stochastic Petri nets","volume":"95","author":"Goss","year":"1998","journal-title":"Proc. Nat. Acad. Sci. USA"},{"key":"10.1016\/S0020-0190(01)00214-9_BIB010","series-title":"A Compositional Approach to Performance Modelling","author":"Hillston","year":"1996"},{"key":"10.1016\/S0020-0190(01)00214-9_BIB011","series-title":"University Chemistry","author":"Mahan","year":"1987"},{"issue":"1","key":"10.1016\/S0020-0190(01)00214-9_BIB012","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","article-title":"A calculus of mobile processes (I and II)","volume":"100","author":"Milner","year":"1992","journal-title":"Inform. and Comput."},{"key":"10.1016\/S0020-0190(01)00214-9_BIB013","series-title":"Proof, Language and Interaction: Essays in honour of Robin Milner","article-title":"PICT: A programming language based on the pi-calculus","author":"Pierce","year":"1999"},{"issue":"6","key":"10.1016\/S0020-0190(01)00214-9_BIB014","doi-asserted-by":"crossref","first-page":"578","DOI":"10.1093\/comjnl\/38.7.578","article-title":"Stochastic \u03c0-calculus","volume":"38","author":"Priami","year":"1995","journal-title":"Comput. J."},{"key":"10.1016\/S0020-0190(01)00214-9_BIB015","series-title":"Proc. Pacific Symp. of Biocomputing","article-title":"Representing biomolecular processes with computer process algebra: \u03c0-calculus programs of signal transduction pathways","author":"Regev","year":"2000"},{"key":"10.1016\/S0020-0190(01)00214-9_BIB016","first-page":"157","article-title":"Concurrent Prolog: A progress report","volume":"I","author":"Shapiro","year":"1987"},{"key":"10.1016\/S0020-0190(01)00214-9_BIB017","series-title":"The Logix System User Manual, Version 1.21","volume":"II","author":"Silverman","year":"1987"}],"container-title":["Information Processing Letters"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0020019001002149?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0020019001002149?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,1,28]],"date-time":"2020-01-28T11:46:21Z","timestamp":1580211981000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0020019001002149"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,10]]},"references-count":16,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2001,10]]}},"alternative-id":["S0020019001002149"],"URL":"https:\/\/doi.org\/10.1016\/s0020-0190(01)00214-9","relation":{},"ISSN":["0020-0190"],"issn-type":[{"value":"0020-0190","type":"print"}],"subject":[],"published":{"date-parts":[[2001,10]]}}}