{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:43:52Z","timestamp":1725486232924},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540433668"},{"type":"electronic","value":"9783540459316"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45931-6_9","type":"book-chapter","created":{"date-parts":[[2007,6,9]],"date-time":"2007-06-09T00:53:52Z","timestamp":1181350432000},"page":"114-128","source":"Crossref","is-referenced-by-count":1,"title":["The Demonic Product of Probabilistic Relations"],"prefix":"10.1007","author":[{"given":"Ernst-Erich","family":"Doberkat","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,3,15]]},"reference":[{"key":"9_CR1","unstructured":"S. Abramsky, R. Blute, and P. Panangaden. Nuclear and trace ideal in tensored *-categories. Technical report, School of Computer Science, McGill University, Montreal, June 1998."},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"C. Brink, W. Kahl, and G. Schmidt, editors. Relational Methods in Computer Science. Advances in Computing Science. Springer-Verlag, Wien, New York, 1997.","DOI":"10.1007\/978-3-7091-6510-2"},{"key":"9_CR3","series-title":"Technical Report","volume-title":"Bisimulation for probabilistic transition systems: a coalgebraic approach","author":"E. P. Vink de","year":"1998","unstructured":"E. P. de Vink and J. J. M. M. Rutten. Bisimulation for probabilistic transition systems: a coalgebraic approach. Technical Report SEN-R9825, CWI, Amsterdam, 1998."},{"key":"9_CR4","unstructured":"J. Desharnais, A. Edalat, and P. Panangaden. Bisimulation of labelled markovprocesses. Technical report, School of Computer Science, McGill University, Montreal, 1998."},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"J. Desharnais, A. Mili, and T. T. Nguyen. Refinement and demonic semantics. In [2],pages 166\u2013184.","DOI":"10.1007\/978-3-7091-6510-2_11"},{"key":"9_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","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":"9_CR7","unstructured":"E. E. Doberkat. The converse of a probabilistic relation. Technical Report 113, Chair for Software Technology, Univ ersity of Dortmund, June 2001."},{"key":"9_CR8","unstructured":"E.-E. Doberkat. The demonic product of probabilistic relations. Technical Report 116, Chair for Software Technology, Univ ersity of Dortmund, September 2001. Available as Technische-Berichte\/Doberkat SWT-Memo-116.ps.gz in directory ftp:\/\/ls10-www.cs.uni-dortmund.de\/pub\/ ."},{"key":"9_CR9","unstructured":"E.-E. Doberkat. The hierarchical refinement of probabilistic relations. Technical Report 118, Chair for Software Technology, Univ ersity of Dortmund, November 2001."},{"key":"9_CR10","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":"9_CR11","doi-asserted-by":"crossref","first-page":"53","DOI":"10.4064\/fm-87-1-53-72","volume":"87","author":"C. J. Himmelberg","year":"1975","unstructured":"C. J. Himmelberg. Measurable relations. Fund. Math.,87:53\u201372,1975.","journal-title":"Fund. Math."},{"key":"9_CR12","volume-title":"Categories for the Working Mathematician","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"},{"key":"9_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(91)90030-6","volume":"94","author":"K. G. Larsen","year":"1991","unstructured":"K. G. Larsen and A. Skou. Bisimulation through probabilistic testing. Information and Computation, 94:1\u201328, 1991.","journal-title":"Information and Computation"},{"key":"9_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of CommunicatingSystems","author":"R. Milner","year":"1980","unstructured":"R. Milner. A Calculus of CommunicatingSystems. Number 92 in Lecture Notes in Computer Science. Springer-Verlag, Berlin, 1980."},{"key":"9_CR15","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1016\/S0168-0072(98)00042-6","volume":"96","author":"L. S. Moss","year":"1999","unstructured":"L. S. Moss. Coalgebraic logic. Annals of Pure and Applied Logic, 96:277\u2013317, 1999.","journal-title":"Annals of Pure and Applied Logic"},{"key":"9_CR16","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":"9_CR17","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."},{"key":"9_CR18","series-title":"Technical Report","volume-title":"Universal coalgebra: a theory of systems","author":"J. J. M. M. Rutten","year":"1996","unstructured":"J. J. M. M. Rutten. Universal coalgebra: a theory of systems. Technical Report CS-R9652, CWI, Amsterdam, 1996."},{"key":"9_CR19","volume-title":"Graduate Texts in Mathematics","author":"S. M. Srivastava","year":"1998","unstructured":"S. M. Srivastava. A Course on Borel Sets. Number 180 in Graduate Texts in Mathematics. Springer-Verlag, Berlin, 1998."}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Science and Computation Structures"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45931-6_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T19:19:26Z","timestamp":1556479166000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45931-6_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540433668","9783540459316"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-45931-6_9","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}