{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T11:37:31Z","timestamp":1742989051864,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662544570"},{"type":"electronic","value":"9783662544587"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-662-54458-7_20","type":"book-chapter","created":{"date-parts":[[2017,3,15]],"date-time":"2017-03-15T09:22:57Z","timestamp":1489569777000},"page":"338-354","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Computing Continuous-Time Markov Chains as Transformers of Unbounded Observables"],"prefix":"10.1007","author":[{"given":"Vincent","family":"Danos","sequence":"first","affiliation":[]},{"given":"Tobias","family":"Heindel","sequence":"additional","affiliation":[]},{"given":"Ilias","family":"Garnier","sequence":"additional","affiliation":[]},{"given":"Jakob Grue","family":"Simonsen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,3,16]]},"reference":[{"key":"20_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-0348-0087-7","volume-title":"Vector-Valued Laplace Transforms and Cauchy Problems","author":"W Arendt","year":"2011","unstructured":"Arendt, W., Batty, C.J.K., Hieber, M., Neubrander, F.: Vector-Valued Laplace Transforms and Cauchy Problems, vol. 96. Springer, Basel (2011)"},{"key":"20_CR2","doi-asserted-by":"crossref","unstructured":"Ackerman, N.L., Freer, C.E., Roy, D.M.: Noncomputable conditional distributions. In: Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science, LICS 2011, Ontario, Canada, pp. 107\u2013116, 21\u201324 June 2011","DOI":"10.1109\/LICS.2011.49"},{"key":"20_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"302","DOI":"10.1007\/3-540-49116-3_28","volume-title":"STACS 1999","author":"T Ahrendt","year":"1999","unstructured":"Ahrendt, T.: Fast computations of the exponential function. In: Meinel, C., Tison, S. (eds.) STACS 1999. LNCS, vol. 1563, pp. 302\u2013312. Springer, Heidelberg (1999). doi:10.1007\/3-540-49116-3_28"},{"key":"20_CR4","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-3038-0","volume-title":"Continuous-Time Markov Chains","author":"WJ Anderson","year":"1991","unstructured":"Anderson, W.J.: Continuous-Time Markov Chains. Springer, New York (1991)"},{"issue":"4","key":"20_CR5","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1073\/pnas.41.4.224","volume":"41","author":"DG Austin","year":"1955","unstructured":"Austin, D.G.: On the existence of the derivative of Markoff transition probability functions. Proc. Natl. Acad. Sci. USA 41(4), 224\u2013226 (1955)","journal-title":"Proc. Natl. Acad. Sci. USA"},{"key":"20_CR6","unstructured":"Bostan, A., Chyzak, F., Ollivier, F., Salvy, B., Schost, \u00c9, Sedoglavic, A.: Fast computation of power series solutions of systems of differential equations. In: Proceedings of the Eighteenth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2007, Philadelphia, PA, USA, pp. 1012\u20131021. Society for Industrial and Applied Mathematics (2007)"},{"issue":"6","key":"20_CR7","doi-asserted-by":"publisher","first-page":"524","DOI":"10.1109\/TSE.2003.1205180","volume":"29","author":"C Baier","year":"2003","unstructured":"Baier, C., Haverkort, B., Hermanns, H., Katoen, J.-P.: Model-checking algorithms for continuous-time Markov chains. IEEE Trans. Softw. Eng. 29(6), 524\u2013541 (2003)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"20_CR8","doi-asserted-by":"crossref","unstructured":"Danos, V., Feret, J., Fontana, W., Harmer, R., Krivine, J.: Abstracting the differential semantics of rule-based models: exact and automated model reduction. In: Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, LICS 2010, Edinburgh, United Kingdom, pp. 362\u2013381, 11\u201314 July 2010","DOI":"10.1109\/LICS.2010.44"},{"key":"20_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-319-11737-9_1","volume-title":"Formal Methods and Software Engineering","author":"V Danos","year":"2014","unstructured":"Danos, V., Heindel, T., Honorato-Zimmer, R., Stucki, S.: Approximations for stochastic graph\u00a0rewriting. In: Merz, S., Pang, J. (eds.) ICFEM 2014. LNCS, vol. 8829, pp. 1\u201310. Springer, Cham (2014). doi:10.1007\/978-3-319-11737-9_1"},{"key":"20_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-319-20860-2_1","volume-title":"Reversible Computation","author":"V Danos","year":"2015","unstructured":"Danos, V., Heindel, T., Honorato-Zimmer, R., Stucki, S.: Moment semantics for reversible rule-based systems. In: Krivine, J., Stefani, J.-B. (eds.) RC 2015. LNCS, vol. 9138, pp. 3\u201326. Springer, Cham (2015). doi:10.1007\/978-3-319-20860-2_1"},{"key":"20_CR11","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1142\/9789812384720_0002","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation","author":"F Drewes","year":"1997","unstructured":"Drewes, F., Kreowski, H.-J., Habel, A.: Hyperedge: replacement, graph grammars. In: Rozenberg, G. (ed.) Handbook of Graph Grammars and Computing by Graph Transformation, pp. 95\u2013162. World Scientific, Singapore (1997)"},{"key":"20_CR12","first-page":"56","volume":"25","author":"H Einar","year":"1952","unstructured":"Einar, H.: A note on Cauchy\u2019s problem. Annales de la Soci\u00e9t\u00e9 Polonaise de Math\u00e9matique 25, 56\u201368 (1952)","journal-title":"Annales de la Soci\u00e9t\u00e9 Polonaise de Math\u00e9matique"},{"key":"20_CR13","volume-title":"One-Parameter Semigroups for Linear Evolution Equations","author":"K-J Engel","year":"2000","unstructured":"Engel, K.-J., Nagel, R.: One-Parameter Semigroups for Linear Evolution Equations. Springer, New York (2000)"},{"key":"20_CR14","first-page":"021004","volume":"3","author":"JP Gleeson","year":"2013","unstructured":"Gleeson, J.P.: Binary-state dynamics on complex networks: pair approximation and beyond. Phys. Rev. X 3, 021004 (2013)","journal-title":"Phys. Rev. X"},{"issue":"2","key":"20_CR15","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1287\/opre.32.2.343","volume":"32","author":"D Gross","year":"1984","unstructured":"Gross, D., Miller, D.R.: The randomization technique as a modeling tool and solution procedure for transient Markov processes. Oper. Res. 32(2), 343\u2013361 (1984)","journal-title":"Oper. Res."},{"issue":"1","key":"20_CR16","first-page":"63","volume":"74","author":"R Heckel","year":"2006","unstructured":"Heckel, R., Lajios, G., Menge, S.: Stochastic graph transformation systems. Fundamenta Informaticae 74(1), 63\u201384 (2006)","journal-title":"Fundamenta Informaticae"},{"key":"20_CR17","first-page":"53","volume":"148","author":"Andrey Nikolaevich Kolmogorov","year":"1951","unstructured":"Andrey Nikolaevich Kolmogorov: On the differentiability of the transition probabilities in stationary Markov processes with a denumberable number of states. Moskovskogo Gosudarstvennogo Universiteta U\u010denye Zapiski Matematika 148, 53\u201359 (1951)","journal-title":"Moskovskogo Gosudarstvennogo Universiteta U\u010denye Zapiski Matematika"},{"key":"20_CR18","doi-asserted-by":"crossref","unstructured":"Kozen, D.: A probabilistic PDL. In: Proceedings of the Fifteenth Annual ACM Symposium on Theory of Computing, STOC 1983, pp. 291\u2013297. ACM, New York (1983)","DOI":"10.1145\/800061.808758"},{"key":"20_CR19","series-title":"Cambridge Series in Statistical and Probabilistic Mathematics","volume-title":"Markov Chains","author":"JR Norris","year":"1998","unstructured":"Norris, J.R.: Markov Chains. Cambridge Series in Statistical and Probabilistic Mathematics. Cambridge University Press, Cambridge (1998)"},{"key":"20_CR20","unstructured":"Paraskevopoulos, A.G.: The infinite Gauss-Jordan elimination on row-finite \n$$\\omega \\times \\omega $$\n matrices. arXiv preprint math (2012)"},{"key":"20_CR21","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1016\/j.tcs.2016.02.002","volume":"626","author":"A Pouly","year":"2016","unstructured":"Pouly, A., Gra\u00e7a, D.S.: Computational complexity of solving polynomial differential equations over unbounded domains. Theor. Comput. Sci. 626, 67\u201382 (2016)","journal-title":"Theor. Comput. Sci."},{"issue":"1","key":"20_CR22","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF02392391","volume":"97","author":"GEH Reuter","year":"1957","unstructured":"Reuter, G.E.H.: Denumerable Markov processes and the associated contraction semigroups on l. Acta Mathematica 97(1), 1\u201346 (1957)","journal-title":"Acta Mathematica"},{"issue":"2","key":"20_CR23","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1112\/jlms\/s2-5.2.267","volume":"s2\u20135","author":"GEH Reuter","year":"1972","unstructured":"Reuter, G.E.H., Riley, P.W.: The Feller property for Markov semigroups on a countable state space. J. Lond. Math. Soc. s2\u20135(2), 267\u2013275 (1972)","journal-title":"J. Lond. Math. Soc."},{"key":"20_CR24","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/s10479-012-1262-7","volume":"241","author":"FM Spieksma","year":"2012","unstructured":"Spieksma, F.M.: Kolmogorov forward equation and explosiveness in countable state Markov processes. Ann. Oper. Res. 241, 3\u201322 (2012)","journal-title":"Ann. Oper. Res."},{"key":"20_CR25","doi-asserted-by":"publisher","first-page":"623","DOI":"10.1017\/S0269964815000224","volume":"29","author":"FM Spieksma","year":"2015","unstructured":"Spieksma, F.M.: Countable state Markov processes: non-explosiveness and moment function. Probab. Eng. Inf. Sci. 29, 623\u2013637 (2015)","journal-title":"Probab. Eng. Inf. Sci."},{"key":"20_CR26","unstructured":"Spieksma, F.M.: Personal communication, October 2016"},{"key":"20_CR27","doi-asserted-by":"crossref","unstructured":"David Schnoerr, Guido Sanguinetti, Ramon Grima: Comparison of different moment-closure approximations for stochastic chemical kinetics. J. Chem. Phys. 143(18) (2015)","DOI":"10.1063\/1.4934990"},{"key":"20_CR28","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1016\/S0024-3795(03)00418-X","volume":"370","author":"Rajae Ben Taher and Mustapha Rachidi","year":"2003","unstructured":"Rajae Ben Taher and Mustapha Rachidi: On the matrix powers and exponential by the r-generalized fibonacci sequences methods: the companion matrix case. Linear Algebra Appl. 370, 341\u2013353 (2003)","journal-title":"Linear Algebra Appl."},{"key":"20_CR29","unstructured":"Van Moorsel, A.P., Sanders, W.H.: Adaptive uniformization: technical details. Technical report, Department of Computer Science and Department of Electrical Engineering, University of Twente (1993)"},{"key":"20_CR30","doi-asserted-by":"publisher","first-page":"619","DOI":"10.1080\/15326349408807313","volume":"10","author":"AP Van Moorsel","year":"1994","unstructured":"Van Moorsel, A.P., Sanders, W.H.: Adaptive uniformization. Commun. Stat. Stoch. Models 10, 619\u2013647 (1994)","journal-title":"Commun. Stat. Stoch. Models"},{"issue":"4\u20135","key":"20_CR31","doi-asserted-by":"publisher","first-page":"511","DOI":"10.1002\/malq.200710015","volume":"53","author":"K Weihrauch","year":"2007","unstructured":"Weihrauch, K., Zhong, N.: Computable analysis of the abstract Cauchy problem in a Banach space and its applications I. Math. Logic Q. 53(4\u20135), 511\u2013531 (2007)","journal-title":"Math. Logic Q."}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Science and Computation Structures"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-54458-7_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,21]],"date-time":"2021-04-21T02:06:45Z","timestamp":1618970805000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-662-54458-7_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783662544570","9783662544587"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-54458-7_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"16 March 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FoSSaCS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Foundations of Software Science and Computation Structures","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Uppsala","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Sweden","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2017","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 April 2017","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 April 2017","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fossacs2017","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.etaps.org\/index.php\/2017\/fossacs","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}