{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T21:29:16Z","timestamp":1742938156376,"version":"3.40.3"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030003883"},{"type":"electronic","value":"9783030003890"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"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":[[2018]]},"DOI":"10.1007\/978-3-030-00389-0_7","type":"book-chapter","created":{"date-parts":[[2018,9,19]],"date-time":"2018-09-19T19:12:43Z","timestamp":1537384363000},"page":"100-121","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["(In)finite Trace Equivalence of Probabilistic Transition Systems"],"prefix":"10.1007","author":[{"given":"Alexandre","family":"Goy","sequence":"first","affiliation":[]},{"given":"Jurriaan","family":"Rot","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,9,20]]},"reference":[{"key":"7_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-29587-9","volume-title":"Infinite Dimensional Analysis: A Hitchhiker\u2019s Guide","author":"CD Aliprantis","year":"2006","unstructured":"Aliprantis, C.D., Border, K.C.: Infinite Dimensional Analysis: A Hitchhiker\u2019s Guide. Springer, Berlin (2006). https:\/\/doi.org\/10.1007\/3-540-29587-9"},{"key":"7_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"535","DOI":"10.1007\/978-3-662-54577-5_31","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"F Bonchi","year":"2017","unstructured":"Bonchi, F., K\u00f6nig, B., K\u00fcpper, S.: Up-to techniques for weighted systems. In: Legay, A., Margaria, T. (eds.) TACAS 2017. LNCS, vol. 10205, pp. 535\u2013552. Springer, Heidelberg (2017). https:\/\/doi.org\/10.1007\/978-3-662-54577-5_31"},{"issue":"2","key":"7_CR3","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/s00236-016-0271-4","volume":"54","author":"F Bonchi","year":"2017","unstructured":"Bonchi, F., Petrisan, D., Pous, D., Rot, J.: A general account of coinduction up-to. Acta Inf. 54(2), 127\u2013190 (2017). https:\/\/doi.org\/10.1007\/s00236-016-0271-4","journal-title":"Acta Inf."},{"key":"7_CR4","doi-asserted-by":"publisher","unstructured":"Bonchi, F., Pous, D.: Checking NFA equivalence with bisimulations up to congruence. In: Principle of Programming Languages (POPL), Roma, Italy, pp. 457\u2013468. ACM (2013). https:\/\/doi.org\/10.1145\/2429069.2429124. 16 p","DOI":"10.1145\/2429069.2429124"},{"key":"7_CR5","doi-asserted-by":"publisher","unstructured":"Bonchi, F., Silva, A., Sokolova, A.: The power of convex algebras. In: Meyer, R., Nestmann, U. (eds.) 28th International Conference on Concurrency Theory (CONCUR 2017). Leibniz International Proceedings in Informatics (LIPIcs), vol. 85, pp. 23:1\u201323:18. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany (2017). https:\/\/doi.org\/10.4230\/LIPIcs.CONCUR.2017.23","DOI":"10.4230\/LIPIcs.CONCUR.2017.23"},{"key":"7_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/978-3-642-04081-8_12","volume-title":"CONCUR 2009 - Concurrency Theory","author":"M Boreale","year":"2009","unstructured":"Boreale, M.: Weighted bisimulation in linear algebraic form. In: Bravetti, M., Zavattaro, G. (eds.) CONCUR 2009. LNCS, vol. 5710, pp. 163\u2013177. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-04081-8_12"},{"issue":"3\u20134","key":"7_CR7","doi-asserted-by":"publisher","first-page":"379","DOI":"10.3233\/FI-2017-1474","volume":"150","author":"C C\u00eerstea","year":"2017","unstructured":"C\u00eerstea, C.: From branching to linear time, coalgebraically. Fundam. Inform. 150(3\u20134), 379\u2013406 (2017). https:\/\/doi.org\/10.3233\/FI-2017-1474","journal-title":"Fundam. Inform."},{"key":"7_CR8","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/BFb0092872","volume":"915","author":"M Giry","year":"1982","unstructured":"Giry, M.: A categorical approach to probability theory. Lect. Notes Math. 915, 68\u201385 (1982)","journal-title":"Lect. Notes Math."},{"key":"7_CR9","unstructured":"Goy, A.: Trace semantics via determinization for probabilistic transition systems. Master internship report, Radboud University (2017). arxiv:1802.09084"},{"key":"7_CR10","doi-asserted-by":"publisher","unstructured":"Hasuo, I., Jacobs, B., Sokolova, A.: Generic trace semantics via coinduction. Logical Methods Comput. Sci. 3(4) (2007). https:\/\/doi.org\/10.2168\/LMCS-3(4:11)","DOI":"10.2168\/LMCS-3(4:11)"},{"key":"7_CR11","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781316823187","volume-title":"Introduction to Coalgebra: Towards Mathematics of States and Observation","author":"B Jacobs","year":"2016","unstructured":"Jacobs, B.: Introduction to Coalgebra: Towards Mathematics of States and Observation, vol. 59. Cambridge University Press, Cambridge (2016). https:\/\/doi.org\/10.1017\/CBO9781316823187. Cambridge Tracts in Theoretical Computer Science"},{"issue":"5","key":"7_CR12","doi-asserted-by":"publisher","first-page":"859","DOI":"10.1016\/j.jcss.2014.12.005","volume":"81","author":"B Jacobs","year":"2015","unstructured":"Jacobs, B., Silva, A., Sokolova, A.: Trace semantics via determinization. J. Comput. Syst. Sci. 81(5), 859\u2013879 (2015). https:\/\/doi.org\/10.1016\/j.jcss.2014.12.005. 11th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2012 (Selected Papers)","journal-title":"J. Comput. Syst. Sci."},{"key":"7_CR13","doi-asserted-by":"publisher","unstructured":"Kerstan, H., K\u00f6nig, B.: Coalgebraic trace semantics for continuous probabilistic transition systems. Logical Methods Comput. Sci. 9(4) (2013). https:\/\/doi.org\/10.2168\/LMCS-9(4:16)2013","DOI":"10.2168\/LMCS-9(4:16)2013"},{"key":"7_CR14","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-5361-0","volume-title":"Probability Theory: A Comprehensive Course","author":"A Klenke","year":"2013","unstructured":"Klenke, A.: Probability Theory: A Comprehensive Course. Springer, London (2013). https:\/\/doi.org\/10.1007\/978-1-4471-5361-0"},{"issue":"1","key":"7_CR15","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0304-3975(00)00056-6","volume":"249","author":"J Rutten","year":"2000","unstructured":"Rutten, J.: Universal coalgebra: a theory of systems. TCS 249(1), 3\u201380 (2000)","journal-title":"TCS"},{"key":"7_CR16","doi-asserted-by":"publisher","unstructured":"Silva, A., Bonchi, F., Bonsangue, M.M., Rutten, J.J.M.M.: Generalizing determinization from automata to coalgebras. Log. Methods Comput. Sci. 9(1) (2013). https:\/\/doi.org\/10.2168\/LMCS-9(1:9)2013","DOI":"10.2168\/LMCS-9(1:9)2013"},{"key":"7_CR17","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1016\/j.entcs.2011.09.027","volume":"276","author":"A Silva","year":"2011","unstructured":"Silva, A., Sokolova, A.: Sound and complete axiomatization of trace semantics for probabilistic systems. Electr. Notes Theor. Comput. Sci. 276, 291\u2013311 (2011). https:\/\/doi.org\/10.1016\/j.entcs.2011.09.027. Twenty-seventh Conference on the Mathematical Foundations of Programming Semantics (MFPS XXVII)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"issue":"38","key":"7_CR18","doi-asserted-by":"publisher","first-page":"5095","DOI":"10.1016\/j.tcs.2011.05.008","volume":"412","author":"A Sokolova","year":"2011","unstructured":"Sokolova, A.: Probabilistic systems coalgebraically: a survey. Theor. Comput. Sci. 412(38), 5095\u20135110 (2011). https:\/\/doi.org\/10.1016\/j.tcs.2011.05.008","journal-title":"Theor. Comput. Sci."},{"key":"7_CR19","doi-asserted-by":"publisher","unstructured":"Urabe, N., Hasuo, I.: Coalgebraic infinite traces and Kleisli simulations. In: Moss, L.S., Sobocinski, P. (eds.) CALCO 2015. LIPIcs, vol. 35, pp. 320\u2013335. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2015). https:\/\/doi.org\/10.4230\/LIPIcs.CALCO.2015.320","DOI":"10.4230\/LIPIcs.CALCO.2015.320"}],"container-title":["Lecture Notes in Computer Science","Coalgebraic Methods in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-00389-0_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,19]],"date-time":"2022-09-19T00:02:49Z","timestamp":1663545769000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-00389-0_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030003883","9783030003890"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-00389-0_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"20 September 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CMCS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on Coalgebraic Methods in Computer Science","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Thessaloniki","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Greece","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14 April 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 April 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"cmcs2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.coalg.org\/cmcs18\/","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"}]}}