{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,7,10]],"date-time":"2022-07-10T03:40:19Z","timestamp":1657424419715},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2016,10,11]],"date-time":"2016-10-11T00:00:00Z","timestamp":1476144000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Front. Comput. Sci."],"published-print":{"date-parts":[[2017,12]]},"DOI":"10.1007\/s11704-016-6155-5","type":"journal-article","created":{"date-parts":[[2016,10,11]],"date-time":"2016-10-11T13:20:35Z","timestamp":1476192035000},"page":"948-970","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Using coalgebras and the Giry monad for interpreting game logics \u2014 a tutorial"],"prefix":"10.1007","volume":"11","author":[{"given":"Ernst-Erich","family":"Doberkat","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,10,11]]},"reference":[{"issue":"1","key":"6155_CR1","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/S0304-3975(00)00056-6","volume":"249","author":"J J M M Rutten","year":"2000","unstructured":"Rutten J J M M. Universal coalgebra: a theory of systems. Theoretical Computer Science, 2000, 249(1): 3\u201380","journal-title":"Theoretical Computer Science"},{"key":"6155_CR2","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1016\/S1570-2464(07)80009-7","volume":"3","author":"Y Venema","year":"2007","unstructured":"Venema Y. 6 Algebras and co-algebras. Studies in Logic and Practical Reasoning, 2007, 3: 331\u2013426","journal-title":"Studies in Logic and Practical Reasoning"},{"key":"6155_CR3","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781316823187","volume-title":"Introduction to Coalgebra: Towards Mathematics of States and Observations","author":"B Jacobs","year":"2016","unstructured":"Jacobs B. Introduction to Coalgebra: Towards Mathematics of States and Observations. Cambridge: Cambridge University Press, 2016"},{"key":"6155_CR4","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-22750-4","volume-title":"Special Topics in Mathematics for Computer Science: Sets","author":"E E Doberkat","year":"2015","unstructured":"Doberkat E E. Special Topics in Mathematics for Computer Science: Sets, Categories, Topologies, Measures. Springer, 2015"},{"issue":"3","key":"6155_CR5","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1016\/j.jlamp.2014.03.002","volume":"83","author":"E E Doberkat","year":"2014","unstructured":"Doberkat E E. Algebraic properties of stochastic effectivity functions. Journal of Logical and Algebraic Methods in Programming, 2014, 83(3): 339\u2013358","journal-title":"Journal of Logical and Algebraic Methods in Programming"},{"key":"6155_CR6","volume-title":"A stochastic interpretation of game logic","author":"E E Doberkat","year":"2016","unstructured":"Doberkat E E. A stochastic interpretation of game logic. 2016, arXiv: 1403.7765"},{"key":"6155_CR7","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1007\/3-540-10003-2_79","volume-title":"Proceedings of the International Colloquium on Automata, Languages, and Programming","author":"M Hennessy","year":"1980","unstructured":"Hennessy M, Milner R. On observing nondeterminism and concurrency. In: Proceedings of the International Colloquium on Automata, Languages, and Programming. 1980, 299\u2013309"},{"key":"6155_CR8","first-page":"191","volume":"42","author":"E E Doberkat","year":"2010","unstructured":"Doberkat E E. A note on the coalgebraic interpretation of game logic. Rend.istit.mat.univ.trieste, 2010, 42: 191\u2013203","journal-title":"Rend.istit.mat.univ.trieste"},{"key":"6155_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-02995-0","volume-title":"Stochastic Coalgebraic Logic","author":"E E Doberkat","year":"2009","unstructured":"Doberkat E E. Stochastic Coalgebraic Logic. Berlin: Springer-Verlag, 2009"},{"key":"6155_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-85473-6","volume-title":"A Course on Borel Sets (Graduate Texts in Mathematics)","author":"S M Srivastava","year":"1998","unstructured":"Srivastava S M. A Course on Borel Sets (Graduate Texts in Mathematics). New York: Springer-Verlag, 1998"},{"issue":"7","key":"6155_CR11","doi-asserted-by":"crossref","first-page":"1048","DOI":"10.1016\/j.ic.2011.02.003","volume":"209","author":"P S Terraf","year":"2011","unstructured":"Terraf P S. Unprovability of the logical characterization of bisimulation. Information and Computation, 2011, 209(7): 1048\u20131056","journal-title":"Information and Computation"},{"issue":"2","key":"6155_CR12","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1006\/inco.2001.2962","volume":"179","author":"J Desharnais","year":"2002","unstructured":"Desharnais J, Edalat A, Panangaden P. Bisimulation of labelled Markov processes. Information and Computation, 2002, 179(2): 163\u2013193","journal-title":"Information and Computation"},{"issue":"5","key":"6155_CR13","doi-asserted-by":"crossref","first-page":"523","DOI":"10.1017\/S0960129599002819","volume":"9","author":"A Edalat","year":"1999","unstructured":"Edalat A. Semi-pullbacks and bisimulations in categories of Markov processes. Mathematical Structures in Computer Science, 1999, 9(5): 523\u2013543","journal-title":"Mathematical Structures in Computer Science"},{"issue":"4","key":"6155_CR14","doi-asserted-by":"crossref","first-page":"647","DOI":"10.1017\/S096012950500472X","volume":"15","author":"E E Doberkat","year":"2005","unstructured":"Doberkat E E. Semi-pullbacks for stochastic relations over analytic spaces. Mathematical Structures in Computer Science, 2005, 15(4): 647\u2013670","journal-title":"Mathematical Structures in Computer Science"},{"key":"6155_CR15","doi-asserted-by":"crossref","first-page":"996","DOI":"10.1007\/3-540-45061-0_77","volume-title":"Proceedings of the International Colloquium on Automata, Languages, and Programming","author":"E E Doberkat","year":"2003","unstructured":"Doberkat E E. Semi-pullbacks and bisimulations in categories of stochastic relations. In: Proceedings of the International Colloquium on Automata, Languages, and Programming. 2003, 996\u20131007"},{"key":"6155_CR16","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1016\/S0304-0208(08)73078-0","volume":"102","author":"R Parikh","year":"1985","unstructured":"Parikh R. The logic of games and its applications. North-Holland Mathematics Studies, 1985, 102: 111\u2013139","journal-title":"North-Holland Mathematics Studies"},{"issue":"2","key":"6155_CR17","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1023\/A:1027354826364","volume":"75","author":"M Pauly","year":"2003","unstructured":"Pauly M, Parikh R. Game logic\u2014an overview. Studia Logica, 2003, 75(2): 165\u2013182","journal-title":"Studia Logica"},{"issue":"2","key":"6155_CR18","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1023\/A:1027306910434","volume":"75","author":"J Benthem Van","year":"2003","unstructured":"Van Benthem J. Logic games are complete for game logics. Studia Logica, 2003, 75(2): 183\u2013203","journal-title":"Studia Logica"},{"key":"6155_CR19","volume-title":"Centrum voor Wiskunde en Informatica","author":"M Pauly","year":"2000","unstructured":"Pauly M. Game Logic for Game Theorists. Centrum voor Wiskunde en Informatica, 2000"},{"issue":"5","key":"6155_CR20","doi-asserted-by":"crossref","first-page":"1069","DOI":"10.1093\/logcom\/exn092","volume":"20","author":"R Goldblatt","year":"2010","unstructured":"Goldblatt R. Deduction systems for coalgebras over measurable spaces. Journal of Logic and Computation, 2010, 20(5): 1069\u20131100","journal-title":"Journal of Logic and Computation"},{"issue":"1","key":"6155_CR21","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1016\/S0168-0072(98)00042-6","volume":"96","author":"L S Moss","year":"1999","unstructured":"Moss L S. Coalgebraic logic. Annals of Pure and Applied Logic, 1999, 96(1): 277\u2013317","journal-title":"Annals of Pure and Applied Logic"},{"issue":"2","key":"6155_CR22","doi-asserted-by":"crossref","first-page":"230","DOI":"10.1016\/j.tcs.2007.09.023","volume":"390","author":"L Schr\u00f6der","year":"2008","unstructured":"Schr\u00f6der L. Expressivity of coalgebraic modal logic: the limits and beyond. Theoretical Computer Science, 2008, 390(2): 230\u2013247","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"6155_CR23","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1017\/S0960129511000454","volume":"22","author":"P R D\u2019argenio","year":"2012","unstructured":"D\u2019argenio P R, Terraf P S, Wolovick N. Bisimulations for nondeterministic labelled Markov processes. Mathematical Structures in Computer Science, 2012, 22(1): 43\u201368","journal-title":"Mathematical Structures in Computer Science"},{"key":"6155_CR24","volume-title":"Journal of Logic and Computation","author":"E E Doberkat","year":"2015","unstructured":"Doberkat E E, Terraf P S. Stochastic non-determinism and effectivity functions. Journal of Logic and Computation, doi: 10.1093\/logcom\/exv049 (arxiv: 1405.7141), 2015"},{"key":"6155_CR25","volume-title":"Set Theory","author":"T Jech","year":"2006","unstructured":"Jech T. Set Theory. 3rd ed. Berlin: Springer-Verlag, 2006","edition":"3"},{"key":"6155_CR26","volume-title":"Measure Theory (Graduate Texts in Mathematics)","author":"P R Halmos","year":"2007","unstructured":"Halmos P R. Measure Theory (Graduate Texts in Mathematics). Springer Science & Business Media, 2007"}],"container-title":["Frontiers of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11704-016-6155-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-016-6155-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-016-6155-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,10]],"date-time":"2022-07-10T03:19:23Z","timestamp":1657423163000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11704-016-6155-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,10,11]]},"references-count":26,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2017,12]]}},"alternative-id":["6155"],"URL":"https:\/\/doi.org\/10.1007\/s11704-016-6155-5","relation":{},"ISSN":["2095-2228","2095-2236"],"issn-type":[{"value":"2095-2228","type":"print"},{"value":"2095-2236","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,10,11]]}}}