{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:42:14Z","timestamp":1725486134379},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540008972"},{"type":"electronic","value":"9783540365761"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-36576-1_15","type":"book-chapter","created":{"date-parts":[[2007,6,11]],"date-time":"2007-06-11T22:42:17Z","timestamp":1181601737000},"page":"233-249","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["The Converse of a Stochastic Relation"],"prefix":"10.1007","author":[{"given":"Ernst-Erich","family":"Doberkat","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,2,28]]},"reference":[{"issue":"1\u20133","key":"15_CR1","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0022-4049(98)00106-6","volume":"143","author":"S. Abramsky","year":"1999","unstructured":"S. Abramsky, R. Blute, and P. Panangaden. Nuclear and trace ideal in tensored *-categories. Journal of Pure and Applied Algebra, 143(1\u20133):3\u201347, 1999.","journal-title":"Journal of Pure and Applied Algebra"},{"key":"15_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1007\/BFb0018361","volume-title":"Category Theory and Computer Science","author":"P. Aczel","year":"1989","unstructured":"P. Aczel and N. Mendler. A final coalgebra theorem. In H. H. Pitt, A. Poigne, and D. E. Rydeheard, editors, Category Theory and Computer Science, volume 389 of Lecture Notes in Computer Science, pages 357\u2013365, 1989."},{"key":"15_CR3","volume-title":"Probability and Measure","author":"P. Billingsley","year":"1995","unstructured":"P. Billingsley. Probability and Measure. JohnWiley and Sons, New York, 3 edition, 1995.","edition":"3 edition"},{"volume-title":"Relational Methods in Computer Science","year":"1997","key":"15_CR4","unstructured":"C. Brink, W. Kahl, and G. Schmidt, editors. Relational Methods in Computer Science. Advances in Computing Science. Springer-Verlag, Wien, New York, 1997."},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"D. Cantone, E. G. Omodeo, and A. Policriti. Set Theory for Computing. Springer-Verlag, 2001. In print.","DOI":"10.1007\/978-1-4757-3452-2"},{"key":"15_CR6","series-title":"Technical report","volume-title":"Bisimulation of labelled Markovprocesses","author":"J. Desharnais","year":"1998","unstructured":"J. Desharnais, A. Edalat, and P. Panangaden. Bisimulation of labelled Markovprocesses. Technical report, School of Computer Science, McGill University, Montreal, 1998."},{"key":"15_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-10835-1","volume-title":"Stochastic Automata \u2014 Nondeterminism, Stability, and Prediction","author":"E.-E. Doberkat","year":"1981","unstructured":"E.-E. Doberkat. Stochastic Automata \u2014 Nondeterminism, Stability, and Prediction, volume 113 of Lecture Notes in Computer Science. Springer-Verlag, Berlin, 1981."},{"key":"15_CR8","series-title":"Lect Notes Comput Sci","first-page":"113","volume-title":"The demonic product of probabilistic relations","author":"E.-E. Doberkat","year":"2002","unstructured":"E.-E. Doberkat. The demonic product of probabilistic relations. InMogens Nielsen and Uffe Engberg, editors, Proc. Foundations of Software Science and Computation Structures, volume 2303 of Lecture Notes in Computer Science, pages 113\u2013127, Berlin, 2002. Springer-Verlag."},{"key":"15_CR9","doi-asserted-by":"crossref","unstructured":"E.-E. Doberkat. Semi-pullbacks and bisimulations in categories of stochastic relations. Technical Report 130, Chair for Software Technology, University of Dortmund, November 2002.","DOI":"10.1007\/3-540-45061-0_77"},{"issue":"5","key":"15_CR10","doi-asserted-by":"publisher","first-page":"523","DOI":"10.1017\/S0960129599002819","volume":"9","author":"A. Edalat","year":"1999","unstructured":"A. Edalat. Semi-pullbacks and bisimulation in categories of Markov processes. Math. Struct. in Comp. Science, 9(5):523\u2013543, 1999.","journal-title":"Math. Struct. in Comp. Science"},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"M. Giry. A categorical approach to probability theory. In Categorical Aspects of Topology and Analysis, volume 915 of Lecture Notes in Mathematics, pages 68\u201385, Berlin, 1981. Springer-Verlag.","DOI":"10.1007\/BFb0092872"},{"key":"15_CR12","volume-title":"Number 5 in Graduate Texts in Mathematics","author":"S. M. Lane","year":"1997","unstructured":"S. Mac Lane. Categories for the Working Mathematician. Number 5 in Graduate Texts in Mathematics. Springer-Verlag, Berlin, 2 edition, 1997.","edition":"2 edition"},{"issue":"2","key":"15_CR13","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1090\/S0002-9947-1951-0042109-4","volume":"71","author":"E. Michael","year":"1951","unstructured":"E. Michael. Topologies on spaces of subsets. Trans. Am. Math. Soc., 71(2):152\u2013182, 1951.","journal-title":"Trans. Am. Math. Soc."},{"key":"15_CR14","unstructured":"P. Panangaden. Probabilistic relations. In C. Baier, M. Huth, M. Kwiatkowska, and M. Ryan, editors, Proc. PROBMIV, pages 59\u201374, 1998. Also available from the School of Computer Science, McGill University, Montreal."},{"key":"15_CR15","unstructured":"P. Panangaden. Does combining nondeterminism and probability make sense? Bulletin of the EATCS, (75):182\u2013189, Oct. 2001."},{"key":"15_CR16","doi-asserted-by":"publisher","DOI":"10.1016\/B978-1-4832-0022-4.50006-5","volume-title":"Probability Measures on Metric Spaces","author":"K. R. Parthasarathy","year":"1967","unstructured":"K. R. Parthasarathy. Probability Measures on Metric Spaces. Academic Press, New York, 1967."},{"issue":"1","key":"15_CR17","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0304-3975(00)00056-6","volume":"249","author":"J. J. M. M. Rutten","year":"2000","unstructured":"J. J. M. M. Rutten. Universal coalgebra: a theory of systems. Theoretical Computer Science, 249(1):3\u201380, 2000. Special issue on modern algebra and its applications.","journal-title":"Theoretical Computer Science"},{"key":"15_CR18","doi-asserted-by":"publisher","DOI":"10.1090\/coll\/041","volume-title":"A Formalization of Set-Theory Without Variables","author":"A. Tarski","year":"1987","unstructured":"A. Tarski and S. Givant. A Formalization of Set-Theory Without Variables. Number 42 in Colloquium Publications. American Mathematical Society, Providence, R. I., 1987."}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Science and Computation Structures"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36576-1_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,2,9]],"date-time":"2020-02-09T23:22:10Z","timestamp":1581290530000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36576-1_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540008972","9783540365761"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-36576-1_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]},"assertion":[{"value":"28 February 2003","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}