{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T12:15:42Z","timestamp":1725624942793},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642338250"},{"type":"electronic","value":"9783642338267"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33826-7_2","type":"book-chapter","created":{"date-parts":[[2012,9,25]],"date-time":"2012-09-25T22:46:25Z","timestamp":1348613185000},"page":"16-32","source":"Crossref","is-referenced-by-count":2,"title":["A Rule-Based and Imperative Language for Biochemical Modeling and Simulation"],"prefix":"10.1007","author":[{"given":"\u0110urica","family":"Nikoli\u0107","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Corrado","family":"Priami","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roberto","family":"Zunino","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. In: Proceedings of the 4th POPL, pp. 238\u2013252. ACM (1977)","DOI":"10.1145\/512950.512973"},{"key":"2_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/978-3-540-74407-8_3","volume-title":"CONCUR 2007 \u2013 Concurrency Theory","author":"V. Danos","year":"2007","unstructured":"Danos, V., Feret, J., Fontana, W., Harmer, R., Krivine, J.: Rule-Based Modelling of Cellular Signalling. In: Caires, L., Vasconcelos, V.T. (eds.) CONCUR 2007. LNCS, vol.\u00a04703, pp. 17\u201341. Springer, Heidelberg (2007)"},{"issue":"9","key":"2_CR3","doi-asserted-by":"publisher","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. Journal of Physical Chemistry A\u00a0104(9), 1876\u20131889 (2000)","journal-title":"Journal of Physical Chemistry A"},{"issue":"25","key":"2_CR4","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. Journal of Physical Chemistry\u00a081(25), 2340\u20132361 (1977)","journal-title":"Journal of Physical Chemistry"},{"key":"2_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/978-3-642-04081-8_4","volume-title":"CONCUR 2009 - Concurrency Theory","author":"C. Priami","year":"2009","unstructured":"Priami, C., Quaglia, P., Romanel, A.: BlenX Static and Dynamic Semantics. In: Bravetti, M., Zavattaro, G. (eds.) CONCUR 2009. LNCS, vol.\u00a05710, pp. 37\u201352. Springer, Heidelberg (2009)"},{"key":"2_CR6","unstructured":"Priami, C., Quaglia, P., Zunino, R.: An imperative language of self-modifying graphs for biological systems. In: ACM Symposium on Applied Computing (SAC) (to appear, 2012)"},{"issue":"1-2","key":"2_CR7","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1016\/j.tcs.2008.04.007","volume":"404","author":"A. Romanel","year":"2008","unstructured":"Romanel, A., Priami, C.: On the decidability and complexity of the structural congruence for beta-binders. Theor. Comput. Sci.\u00a0404(1-2), 156\u2013169 (2008)","journal-title":"Theor. Comput. Sci."}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33826-7_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T12:22:12Z","timestamp":1620130932000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33826-7_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642338250","9783642338267"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33826-7_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}