{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:31:32Z","timestamp":1725557492439},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642135675"},{"type":"electronic","value":"9783642135682"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-13568-2_26","type":"book-chapter","created":{"date-parts":[[2010,6,16]],"date-time":"2010-06-16T08:37:14Z","timestamp":1276677434000},"page":"367-381","source":"Crossref","is-referenced-by-count":5,"title":["Limit Behavior of the Hybrid Approximation of Stochastic Process Algebras"],"prefix":"10.1007","author":[{"given":"Luca","family":"Bortolussi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"26_CR1","doi-asserted-by":"crossref","unstructured":"Andersson, H., Britton, T.: Stochastic Epidemic Models and Their Statistical Analysis. unknown (2000)","DOI":"10.1007\/978-1-4612-1158-7"},{"key":"26_CR2","doi-asserted-by":"crossref","unstructured":"Bortolussi, L.: Stochastic concurrent constraint programming. In: Proceedings of 4th International Workshop on Quantitative Aspects of Programming Languages (QAPL 2006). ENTCS, vol.\u00a0164, pp. 65\u201380 (2006)","DOI":"10.1016\/j.entcs.2006.07.012"},{"key":"26_CR3","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":"26_CR4","doi-asserted-by":"crossref","unstructured":"Bortolussi, L., Policriti, A.: Dynamical systems and stochastic programming \u2014 from ordinary differential equations and back. Transactions of Computational Systems Biology (2009)","DOI":"10.1007\/978-3-642-04186-0_11"},{"key":"26_CR5","doi-asserted-by":"crossref","unstructured":"Bortolussi, L., Policriti, A.: Hybrid semantics of stochastic programs with dynamic reconfiguration. In: Proceedings of CompMod (2009)","DOI":"10.4204\/EPTCS.6.5"},{"key":"26_CR6","doi-asserted-by":"crossref","unstructured":"Bortolussi, L., Policriti, A.: Stochastic programs and hybrid automata for (biological) modeling. In: Proceedings of CiE 2009 (2009)","DOI":"10.1007\/978-3-642-03073-4_5"},{"key":"26_CR7","doi-asserted-by":"crossref","unstructured":"Bortolussi, L., Policriti, A.: Hybrid dynamics of stochastic programs. Theoretical Computer Science (2010)","DOI":"10.1016\/j.tcs.2010.02.008"},{"key":"26_CR8","doi-asserted-by":"crossref","unstructured":"Bortolussi, L., Policriti, A.: (hybrid) automata and (stochastic) programs. the hybrid automata lattice of a stochastic program. Journal of Logic and Computation (submitted)","DOI":"10.1093\/logcom\/exr045"},{"volume-title":"Stochastic Hybrid Systems","year":"2007","key":"26_CR9","unstructured":"Cassandras, C.G., Lygeros, J. (eds.): Stochastic Hybrid Systems. CRC Press, Boca Raton (2007)"},{"key":"26_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4899-4483-2","volume-title":"Markov Models and Optimization","author":"M.H.A. Davis","year":"1993","unstructured":"Davis, M.H.A.: Markov Models and Optimization. Chapman & Hall, Boca Raton (1993)"},{"issue":"1-2","key":"26_CR11","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/j.tcs.2008.04.012","volume":"404","author":"N. Geisweiller","year":"2008","unstructured":"Geisweiller, N., Hillston, J., Stenico, M.: Relating continuous and discrete pepa models of signalling pathways. Theoretical Computer Science\u00a0404(1-2), 97\u2013111 (2008)","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"26_CR12","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. Journal of Chemical Physics\u00a0113(1), 297\u2013306 (2000)","journal-title":"Journal of Chemical Physics"},{"key":"26_CR13","doi-asserted-by":"publisher","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":"26_CR14","doi-asserted-by":"crossref","unstructured":"Hillston, J.: Fluid flow approximation of PEPA models. In: Proceedings of the Second International Conference on the Quantitative Evaluation of Systems, QEST 2005 (2005)","DOI":"10.1109\/QEST.2005.12"},{"key":"26_CR15","volume-title":"Markov Processes - Characterisation and Convergence","author":"T. Kurtz","year":"1986","unstructured":"Kurtz, T., Ethier, S.: Markov Processes - Characterisation and Convergence. Wiley, Chichester (1986)"},{"key":"26_CR16","doi-asserted-by":"publisher","first-page":"49","DOI":"10.2307\/3212147","volume":"7","author":"T.G. Kurtz","year":"1970","unstructured":"Kurtz, T.G.: Solutions of ordinary differential equations as limits of pure jump markov processes. Journal of Applied Probability\u00a07, 49\u201358 (1970)","journal-title":"Journal of Applied Probability"},{"key":"26_CR17","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511810633","volume-title":"Markov Chains","author":"J.R. Norris","year":"1997","unstructured":"Norris, J.R.: Markov Chains. Cambridge University Press, Cambridge (1997)"},{"issue":"1","key":"26_CR18","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1093\/bib\/bbn050","volume":"10","author":"J. Pahle","year":"2009","unstructured":"Pahle, J.: Biochemical simulations: stochastic, approximate stochastic and hybrid approaches. Brief Bioinform.\u00a010(1), 53\u201364 (2009)","journal-title":"Brief Bioinform."},{"key":"26_CR19","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2086.001.0001","volume-title":"Concurrent Constraint Programming","author":"V.A. Saraswat","year":"1993","unstructured":"Saraswat, V.A.: Concurrent Constraint Programming. MIT Press, Cambridge (1993)"},{"issue":"1-2","key":"26_CR20","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1023\/A:1008387132533","volume":"11","author":"B. Tuffin","year":"2001","unstructured":"Tuffin, B., Chen, D.S., Trivedi, K.S.: Comparison of hybrid systems and fluid stochastic petri nets. Discrete Event Dynamic Systems\u00a011(1-2), 77\u201395 (2001)","journal-title":"Discrete Event Dynamic Systems"},{"key":"26_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","Analytical and Stochastic Modeling Techniques and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-13568-2_26.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,29]],"date-time":"2021-10-29T11:31:00Z","timestamp":1635507060000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-13568-2_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642135675","9783642135682"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-13568-2_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}