{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:54:58Z","timestamp":1725512098947},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540792277"},{"type":"electronic","value":"9783540792284"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-79228-4_35","type":"book-chapter","created":{"date-parts":[[2008,4,29]],"date-time":"2008-04-29T01:07:56Z","timestamp":1209431276000},"page":"400-409","source":"Crossref","is-referenced-by-count":0,"title":["Weak Bisimulations for the Giry Monad (Extended Abstract)"],"prefix":"10.1007","author":[{"given":"Ernst-Erich","family":"Doberkat","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1\u20133","key":"35_CR1","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0022-4049(98)00106-6","volume":"143","author":"S. Abramsky","year":"1999","unstructured":"Abramsky, S., Blute, R., Panangaden, P.: Nuclear and trace ideal in tensored\u00a0*-categories. J. Pure Appl. Alg.\u00a0143(1\u20133), 3\u201347 (1999)","journal-title":"J. Pure Appl. Alg."},{"key":"35_CR2","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/s00236-003-0121-z","volume":"40","author":"E.-E. Doberkat","year":"2003","unstructured":"Doberkat, E.-E.: Pipelines: Modelling a software architecture through relations. Acta Informatica\u00a040, 37\u201379 (2003)","journal-title":"Acta Informatica"},{"key":"35_CR3","doi-asserted-by":"publisher","first-page":"1756","DOI":"10.1016\/j.ic.2006.09.001","volume":"204","author":"E.-E. Doberkat","year":"2006","unstructured":"Doberkat, E.-E.: Eilenberg-Moore algebras for stochastic relations. Information and Computation\u00a0204, 1756\u20131781 (2006)","journal-title":"Information and Computation"},{"issue":"3","key":"35_CR4","doi-asserted-by":"publisher","first-page":"590","DOI":"10.1137\/S009753970444346X","volume":"35","author":"E.-E. Doberkat","year":"2006","unstructured":"Doberkat, E.-E.: Stochastic relations: congruences, bisimulations and the Hennessy-Milner theorem. SIAM J. Computing\u00a035(3), 590\u2013626 (2006)","journal-title":"SIAM J. Computing"},{"key":"35_CR5","doi-asserted-by":"publisher","first-page":"638","DOI":"10.1016\/j.jpaa.2007.03.003","volume":"211","author":"E.-E. Doberkat","year":"2007","unstructured":"Doberkat, E.-E.: Kleisli morphisms and randomized congruences for the Giry monad. J. Pure Appl. Alg.\u00a0211, 638\u2013664 (2007)","journal-title":"J. Pure Appl. Alg."},{"key":"35_CR6","doi-asserted-by":"crossref","unstructured":"Doberkat, E.-E.: Stochastic Relations. Foundations for Markov Transition Systems. Chapman & Hall\/CRC Press, Boca Raton, New York (2007)","DOI":"10.1201\/9781584889427"},{"key":"35_CR7","unstructured":"Doberkat, E.-E., Schubert, C.: Coalgebraic logic for stochastic right coalgebras. Technical report, Chair for Software-Technology, University of Dortmund (September 2007)"},{"key":"35_CR8","doi-asserted-by":"crossref","unstructured":"Giry, M.: A categorical approach to probability theory. In: Categorical Aspects of Topology and Analysis, J. Pure Appl. Alg., 915, 68\u201385. (1981)","DOI":"10.1007\/BFb0092872"},{"key":"35_CR9","volume-title":"Graduate Texts in Mathematics","author":"S. Mac Lane","year":"1997","unstructured":"Mac Lane, S.: Categories for the Working Mathematician. In: Graduate Texts in Mathematics, Springer, Berlin (1997)"},{"key":"35_CR10","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/0890-5401(91)90052-4","volume":"93","author":"E. Moggi","year":"1991","unstructured":"Moggi, E.: Notions of computation and monads. Information and Computation\u00a093, 55\u201392 (1991)","journal-title":"Information and Computation"},{"key":"35_CR11","unstructured":"Panangaden, P.: Probabilistic relations. In: Baier, C., Huth, M., Kwiatkowska, M., Ryan, M. (eds.) Proc. PROBMIV, pp. 59\u201374 (1998)"},{"key":"35_CR12","volume-title":"Probability Measures on Metric Spaces","author":"K.R. Parthasarathy","year":"1967","unstructured":"Parthasarathy, K.R.: Probability Measures on Metric Spaces. Academic Press, New York (1967)"},{"key":"35_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"459","DOI":"10.1007\/978-3-540-73420-8_41","volume-title":"Automata, Languages and Programming","author":"L. Schr\u00f6der","year":"2007","unstructured":"Schr\u00f6der, L., Pattinson, D.: Modular Algorithms for Heterogeneous Modal Logics. In: Arge, L., Cachin, C., Jurdzi\u0144ski, T., Tarlecki, A. (eds.) ICALP 2007. LNCS, vol.\u00a04596, pp. 459\u2013471. Springer, Heidelberg (2007)"},{"key":"35_CR14","volume-title":"Graduate Texts in Mathematics","author":"S.M. Srivastava","year":"1998","unstructured":"Srivastava, S.M.: A Course on Borel Sets. In: Graduate Texts in Mathematics, Springer, Berlin (1998)"},{"key":"35_CR15","unstructured":"Zhou, C.: Complete Deductive Systems for Probabilistic Logic with Application to Harsany Type spaces. PhD thesis, Department of Mathematics, University of Indiana (2007)"}],"container-title":["Lecture Notes in Computer Science","Theory and Applications of Models of Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-79228-4_35.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:14:19Z","timestamp":1619507659000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-79228-4_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540792277","9783540792284"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-79228-4_35","relation":{},"subject":[]}}