{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T19:18:20Z","timestamp":1743103100166,"version":"3.40.3"},"publisher-location":"Cham","reference-count":13,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031156281"},{"type":"electronic","value":"9783031156298"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-15629-8_19","type":"book-chapter","created":{"date-parts":[[2022,9,24]],"date-time":"2022-09-24T16:26:53Z","timestamp":1664036813000},"page":"358-370","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Rooted Divergence-Preserving Branching Bisimilarity is a\u00a0Congruence: A Simpler Proof"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6636-3301","authenticated-orcid":false,"given":"David N.","family":"Jansen","sequence":"first","affiliation":[]},{"given":"Xinxin","family":"Liu","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,9,7]]},"reference":[{"issue":"3","key":"19_CR1","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/0020-0190(96)00034-8","volume":"58","author":"T Basten","year":"1996","unstructured":"Basten, T.: Branching bisimilarity is an equivalence indeed! Inf. Proc. Lett. 58(3), 141\u2013147 (1996). https:\/\/doi.org\/10.1016\/0020-0190(96)00034-8","journal-title":"Inf. Proc. Lett."},{"key":"19_CR2","doi-asserted-by":"publisher","unstructured":"van Glabbeek, R.J.: A complete axiomatization for branching bisimulation congruence of finite-state behaviours. In: Borzyszkowski, A.M., Soko\u0142owski, S. (eds.) Mathematical Foundations of Computer Science 1993. LNCS, vol. 711, pp. 473\u2013484. Springer, Berlin (1993). https:\/\/doi.org\/10.1007\/3-540-57182-5_39","DOI":"10.1007\/3-540-57182-5_39"},{"key":"19_CR3","doi-asserted-by":"publisher","unstructured":"van Glabbeek, R., Luttik, B., Spaninks, L.: Rooted divergence-preserving branching bisimilarity is a congruence. Log. Meth. Comput. Sci. 16(3), 14:1\u201314:16 (2020). https:\/\/doi.org\/10.23638\/LMCS-16(3:14)2020","DOI":"10.23638\/LMCS-16(3:14)2020"},{"issue":"4","key":"19_CR4","doi-asserted-by":"publisher","first-page":"371","DOI":"10.3233\/FI-2009-109","volume":"93","author":"R van Glabbeek","year":"2009","unstructured":"van Glabbeek, R., Luttik, B., Tr\u010dka, N.: Branching bisimilarity with explicit divergence. Fundam. Inform. 93(4), 371\u2013392 (2009). https:\/\/doi.org\/10.3233\/FI-2009-109","journal-title":"Fundam. Inform."},{"issue":"2","key":"19_CR5","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1016\/0304-3975(93)90006-F","volume":"113","author":"R van Glabbeek","year":"1993","unstructured":"van Glabbeek, R., Vaandrager, F.: Modular specification of process algebras. Theor. Comput. Sci. 113(2), 293\u2013348 (1993). https:\/\/doi.org\/10.1016\/0304-3975(93)90006-F","journal-title":"Theor. Comput. Sci."},{"key":"19_CR6","doi-asserted-by":"publisher","unstructured":"Groote, J.F., Vaandrager, F.: An efficient algorithm for branching bisimulation and stuttering equivalence. In: Paterson, M.S. (ed.) Automata, Languages and Programming. LNCS, vol. 443, pp. 626\u2013638. Springer, New York (1990). https:\/\/doi.org\/10.1007\/BFb0032063","DOI":"10.1007\/BFb0032063"},{"key":"19_CR7","doi-asserted-by":"publisher","unstructured":"Liu, X., Yu, T.: A complete axiomatisation for divergence preserving branching congruence of finite-state behaviours. In: 2021 36th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS), pp. 1\u201313. IEEE, [s.l.] (2021). https:\/\/doi.org\/10.1109\/LICS52264.2021.9470647","DOI":"10.1109\/LICS52264.2021.9470647"},{"issue":"2","key":"19_CR8","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/j.ic.2005.05.007","volume":"203","author":"M Lohrey","year":"2005","unstructured":"Lohrey, M., D\u2019Argenio, P.R., Hermanns, H.: Axiomatising divergence. Inf. Comput. 203(2), 115\u2013144 (2005). https:\/\/doi.org\/10.1016\/j.ic.2005.05.007","journal-title":"Inf. Comput."},{"key":"19_CR9","doi-asserted-by":"publisher","unstructured":"Milner, R.: Lectures on a calculus for communicating systems. In: Broy, M. (ed.) Control Flow and Data Flow: Concepts of Distributed Programming, pp. 205\u2013228. Springer, Berlin (1986). https:\/\/doi.org\/10.1007\/978-3-642-82921-5_5","DOI":"10.1007\/978-3-642-82921-5_5"},{"key":"19_CR10","volume-title":"Communication and Concurrency","author":"R Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall, New York (1989)"},{"issue":"2","key":"19_CR11","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1016\/0890-5401(89)90070-9","volume":"81","author":"R Milner","year":"1989","unstructured":"Milner, R.: A complete axiomatisation for observational congruence of finite-state behaviours. Inf. Comput. 81(2), 227\u2013247 (1989). https:\/\/doi.org\/10.1016\/0890-5401(89)90070-9","journal-title":"Inf. Comput."},{"key":"19_CR12","unstructured":"Sun, Q., Jansen, D.N., Liu, X., Zhang, W.: Divergence-preserving congruences for CCS. Manuscript under submission (2022)"},{"key":"19_CR13","unstructured":"Vaandrager, F.W.: Verification of two communication protocols by means of process algebra. Report CS-R6808, CWI, Amsterdam (1986). https:\/\/ir.cwi.nl\/pub\/6298"}],"container-title":["Lecture Notes in Computer Science","A Journey from Process Algebra via Timed Automata to Model Learning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-15629-8_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,24]],"date-time":"2022-09-24T16:30:49Z","timestamp":1664037049000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-15629-8_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031156281","9783031156298"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-15629-8_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"7 September 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}