{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:37:25Z","timestamp":1725550645579},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540291077"},{"type":"electronic","value":"9783540320722"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11560647_27","type":"book-chapter","created":{"date-parts":[[2005,10,20]],"date-time":"2005-10-20T10:04:06Z","timestamp":1129802646000},"page":"409-423","source":"Crossref","is-referenced-by-count":2,"title":["Congruences and Bisimulations for Continuous-Time Stochastic Logic"],"prefix":"10.1007","author":[{"given":"Ernst-Erich","family":"Doberkat","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"6","key":"27_CR1","doi-asserted-by":"publisher","first-page":"524","DOI":"10.1109\/TSE.2003.1205180","volume":"29","author":"C. Baier","year":"2003","unstructured":"Baier, C., Haverkort, B., Hermanns, H., Koert, J.-P.: Model-checking algorithms for continuous time Markov chains. IEEE Trans. Softw. Eng.\u00a029(6), 524\u2013541 (2003)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"2","key":"27_CR2","doi-asserted-by":"publisher","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\u00a0179(2), 163\u2013193 (2002)","journal-title":"Information and Computation"},{"issue":"1-2","key":"27_CR3","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/S1567-8326(02)00068-1","volume":"56","author":"J. Desharnais","year":"2003","unstructured":"Desharnais, J., Panangaden, P.: Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes. J. Log. Alg. Programming\u00a056(1-2), 99\u2013115 (2003)","journal-title":"J. Log. Alg. Programming"},{"key":"27_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"996","DOI":"10.1007\/3-540-45061-0_77","volume-title":"Automata, Languages and Programming","author":"E.-E. Doberkat","year":"2003","unstructured":"Doberkat, E.-E.: Semi-pullbacks and bisimulations in categories of stochastic relations. In: Baeten, J.C.M., Lenstra, J.K., Parrow, J., Woeginger, G.J. (eds.) ICALP 2003. LNCS, vol.\u00a02719, pp. 996\u20131007. Springer, Heidelberg (2003)"},{"key":"27_CR5","doi-asserted-by":"crossref","unstructured":"Doberkat, E.-E.: Stochastic relations: congruences, bisimulations and the Hennessy-Milner theorem. SIAM J. Computing (2005) (in print)","DOI":"10.1137\/S009753970444346X"},{"key":"27_CR6","doi-asserted-by":"crossref","unstructured":"Doberkat, E.-E.: Zeno paths, congruences and bisimulations for continuous-time stochastic logic. Technical Report 155, Chair for Software Technology, University of Dortmund (March 2005)","DOI":"10.1007\/11560647_27"},{"key":"27_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"288","DOI":"10.1007\/3-540-49019-1_20","volume-title":"Foundations of Software Science and Computation Structures","author":"M. Narasimha","year":"1999","unstructured":"Narasimha, M., Cleaveland, R., Iyer, P.: Probabilistic temporal logics via the modal mu-calculus. In: Thomas, W. (ed.) FOSSACS 1999. LNCS, vol.\u00a01578, pp. 288\u2013305. Springer, Heidelberg (1999)"},{"key":"27_CR8","series-title":"Graduate Texts in Mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-85473-6","volume-title":"A Course on Borel Sets","author":"S.M. Srivastava","year":"1998","unstructured":"Srivastava, S.M.: A Course on Borel Sets. Graduate Texts in Mathematics. Springer, Berlin (1998)"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing \u2013 ICTAC 2005"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11560647_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,10]],"date-time":"2020-04-10T07:07:58Z","timestamp":1586502478000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11560647_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540291077","9783540320722"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/11560647_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}