{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:59:50Z","timestamp":1725515990132},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540851004"},{"type":"electronic","value":"9783540851011"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-85101-1_4","type":"book-chapter","created":{"date-parts":[[2008,7,29]],"date-time":"2008-07-29T11:21:36Z","timestamp":1217330496000},"page":"40-55","source":"Crossref","is-referenced-by-count":0,"title":["Hybrid Semantics for Stochastic \u03c0-Calculus"],"prefix":"10.1007","author":[{"given":"Luca","family":"Bortolussi","sequence":"first","affiliation":[]},{"given":"Alberto","family":"Policriti","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"Bortolussi, L.: A master equation approach to differential approximations of stochastic concurrent constraint programming. In: Proceedings of QAPL 2008 (2008)","DOI":"10.1016\/j.entcs.2008.11.025"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Bortolussi, L., Policriti, A.: Dynamical systems and stochastic programming I - ordinary differential equations. Trans. of Comp. Sys. Bio. (submitted, 2008)","DOI":"10.1007\/978-3-642-04186-0_11"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Bortolussi, L., Policriti, A.: Stochastic concurrent constraint programming and differential equations. In: Proceedings of QAPL 2007. ENTCS, vol.\u00a016713 (2007)","DOI":"10.1016\/j.entcs.2007.07.003"},{"key":"4_CR4","unstructured":"Bortolussi, L., Policriti, A.: Hybrid approximation of stochastic concurrent constraint programming. In: Proceedings of IFAC 2008 (2008)"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Bortolussi, L., Policriti, A.: Modeling biological systems in concurrent constraint programming. Constraints\u00a013(1) (2008)","DOI":"10.1007\/s10601-007-9034-8"},{"key":"4_CR6","first-page":"1","volume":"4230","author":"M. Calder","year":"2006","unstructured":"Calder, M., Gilmore, S., Hillston, J.: Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPA. Trans. of Comp. Sys. Bio.\u00a04230, 1\u201323 (2006)","journal-title":"Trans. of Comp. Sys. Bio."},{"key":"4_CR7","unstructured":"Cardelli, L.: From processes to ODEs by chemistry (2006), http:\/\/lucacardelli.name\/"},{"key":"4_CR8","unstructured":"Cardelli, L.: On process rate semantics. In: TCS (2007)"},{"key":"4_CR9","volume-title":"Computers and Intractability: a Guide to the Therory of NP-Completeness","author":"M.R. Garey","year":"1979","unstructured":"Garey, M.R., Johnson, D.S.: Computers and Intractability: a Guide to the Therory of NP-Completeness. Freeman, New York (1979)"},{"issue":"1","key":"4_CR10","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1063\/1.481811","volume":"113","author":"D. Gillespie","year":"2000","unstructured":"Gillespie, D.: The Chemical Langevin Equation. Jo. of Chem. Phys.\u00a0113(1), 297\u2013306 (2000)","journal-title":"Jo. of Chem. Phys."},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"Gillespie, D.T.: Exact stochastic simulation of coupled chemical reactions. J. of Phys. Chem.\u00a081(25) (1977)","DOI":"10.1021\/j100540a008"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Haseltine, E.L., Rawlings, J.B.: On the origins of approximations for stochastic chemical kinetics. J. Chem. Phys.\u00a0123 (2005)","DOI":"10.1063\/1.2062048"},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Henzinger, T.A.: The theory of hybrid automata. In: Proceedings of LICS 1996 (1996)","DOI":"10.1109\/LICS.1996.561342"},{"key":"4_CR14","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511569951","volume-title":"A Compositional Approach to Performance Modelling","author":"J. Hillston","year":"1996","unstructured":"Hillston, J.: A Compositional Approach to Performance Modelling. Cambridge University Press, Cambridge (1996)"},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"Hillston, J.: Fluid flow approximation of PEPA models. In: Proceedings of QEST 2005 (2005)","DOI":"10.1109\/QEST.2005.12"},{"key":"4_CR16","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1038\/nature01254","volume":"420","author":"H. Kitano","year":"2002","unstructured":"Kitano, H.: Computational systems biology. Nature\u00a0420, 206\u2013210 (2002)","journal-title":"Nature"},{"key":"4_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"463","DOI":"10.1007\/978-3-540-24743-2_31","volume-title":"Hybrid Systems: Computation and Control","author":"N.A. Neogi","year":"2004","unstructured":"Neogi, N.A.: Dynamic partitioning of large discrete event biological systems for hybrid simulation and analysis. In: Alur, R., Pappas, G.J. (eds.) HSCC 2004. LNCS, vol.\u00a02993, pp. 463\u2013476. Springer, Heidelberg (2004)"},{"issue":"3","key":"4_CR18","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1093\/bib\/5.3.259","volume":"5","author":"C. Priami","year":"2004","unstructured":"Priami, C., Quaglia, P.: Modelling the dynamics of biosystems. Briefings in Bioinformatics\u00a05(3), 259\u2013269 (2004)","journal-title":"Briefings in Bioinformatics"},{"key":"4_CR19","doi-asserted-by":"crossref","unstructured":"Regev, A., Shapiro, E.: Cellular abstractions: Cells as computation. Nature\u00a0419 (2002)","DOI":"10.1038\/419343a"},{"key":"4_CR20","volume-title":"Stochastic Processes","author":"S.M. Ross","year":"1996","unstructured":"Ross, S.M.: Stochastic Processes. Wiley, New York (1996)"},{"key":"4_CR21","doi-asserted-by":"crossref","DOI":"10.1201\/9781420010664","volume-title":"Stochastic Modelling for Systems Biology","author":"D.J. Wilkinson","year":"2006","unstructured":"Wilkinson, D.J.: Stochastic Modelling for Systems Biology. Chapman & Hall, Boca Raton (2006)"}],"container-title":["Lecture Notes in Computer Science","Algebraic Biology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-85101-1_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,19]],"date-time":"2023-05-19T10:46:51Z","timestamp":1684493211000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-85101-1_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540851004","9783540851011"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-85101-1_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}