{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:20:21Z","timestamp":1775053221939,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540309468","type":"print"},{"value":"9783540316169","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11603009_20","type":"book-chapter","created":{"date-parts":[[2005,11,28]],"date-time":"2005-11-28T06:13:33Z","timestamp":1133158413000},"page":"258-272","source":"Crossref","is-referenced-by-count":8,"title":["Is Timed Branching Bisimilarity an Equivalence Indeed?"],"prefix":"10.1007","author":[{"given":"Wan","family":"Fokkink","sequence":"first","affiliation":[]},{"given":"Jun","family":"Pang","sequence":"additional","affiliation":[]},{"given":"Anton","family":"Wijs","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"20_CR1","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1007\/BF01898401","volume":"3","author":"J.C.M. Baeten","year":"1991","unstructured":"Baeten, J.C.M., Bergstra, J.A.: Real time process algebra. Formal Aspects of Computing\u00a03(2), 142\u2013188 (1991)","journal-title":"Formal Aspects of Computing"},{"key":"20_CR2","doi-asserted-by":"crossref","unstructured":"Baeten, J.C.M., Middelburg, C.A.: Process Algebra with Timing. EATCS Monograph. Springer, Heidelberg (2002)","DOI":"10.1007\/978-3-662-04995-2"},{"issue":"3","key":"20_CR3","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! Information Processing Letters\u00a058(3), 141\u2013147 (1996)","journal-title":"Information Processing Letters"},{"key":"20_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1007\/3-540-57208-2_6","volume-title":"CONCUR\u201993","author":"R.J. Glabbeek van","year":"1993","unstructured":"van Glabbeek, R.J.: The linear time \u2013 branching time spectrum II: The semantics of sequential systems with silent moves. In: Best, E. (ed.) CONCUR 1993. LNCS, vol.\u00a0715, pp. 66\u201381. Springer, Heidelberg (1993)"},{"key":"20_CR5","unstructured":"van Glabbeek, R.J.: What is branching time and why to use it? In: Nielsen, M. (ed.) The Concurrency Column. Bulletin of the EATCS, vol.\u00a053, pp. 190\u2013198 (1994)"},{"key":"20_CR6","unstructured":"van Glabbeek, R.J., Weijland, W.P.: Branching time and abstraction in bisimulation semantics. In: Ritter, G. (ed.) Proceedings of the IFIP 11th World Computer Congress (Information Processing 1989), San Francisco, pp. 613\u2013618 (1989)"},{"issue":"3","key":"20_CR7","doi-asserted-by":"publisher","first-page":"555","DOI":"10.1145\/233551.233556","volume":"43","author":"R.J. Glabbeek van","year":"1996","unstructured":"van Glabbeek, R.J., Weijland, W.P.: Branching time and abstraction in bisimulation semantics. Journal of the ACM\u00a043(3), 555\u2013600 (1996)","journal-title":"Journal of the ACM"},{"issue":"3\/4","key":"20_CR8","first-page":"361","volume":"50","author":"J.F. Groote","year":"2002","unstructured":"Groote, J.F., Reniers, M.A., van Wamel, J.J., van der Zwaag, M.B.: Completeness of timed \u03bcCRL. Fundamenta Informaticae\u00a050(3\/4), 361\u2013402 (2002)","journal-title":"Fundamenta Informaticae"},{"issue":"1\/2","key":"20_CR9","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/S1567-8326(01)00010-8","volume":"49","author":"J.F. Groote","year":"2001","unstructured":"Groote, J.F., Springintveld, J.G.: Focus points and convergent process operators. A proof strategy for protocol verification. Journal of Logic and Algebraic Programming\u00a049(1\/2), 31\u201360 (2001)","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"20_CR10","doi-asserted-by":"crossref","unstructured":"Fokkink, W.J., Pang, J.: Formal verification of timed systems using cones and foci. In: Ulidowski, I. (ed.) Proceedings of the 6th Workshop on Real-Time Systems (ARTS 2004), Stirling. ENTCS (2005) (to appear)","DOI":"10.1016\/j.entcs.2005.09.003"},{"key":"20_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1007\/BFb0031999","volume-title":"Real-Time: Theory in Practice","author":"A.S. Klusener","year":"1992","unstructured":"Klusener, A.S.: Abstraction in real time process algebra. In: Huizing, C., de Bakker, J.W., Rozenberg, G., de Roever, W.-P. (eds.) REX 1991. LNCS, vol.\u00a0600, pp. 325\u2013352. Springer, Heidelberg (1992)"},{"key":"20_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"421","DOI":"10.1007\/BFb0084807","volume-title":"CONCUR \u201992","author":"A.S. Klusener","year":"1992","unstructured":"Klusener, A.S.: The silent step in time. In: Cleaveland, W.R. (ed.) CONCUR 1992. LNCS, vol.\u00a0630, pp. 421\u2013435. Springer, Heidelberg (1992)"},{"key":"20_CR13","doi-asserted-by":"crossref","unstructured":"Klusener, A.S.: Models and Axioms for a Fragment of Real Time Process Algebra. PhD thesis, Eindhoven University of Technology (1993)","DOI":"10.1007\/BFb0031999"},{"issue":"1","key":"20_CR14","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1016\/S0020-0190(01)00215-0","volume":"80","author":"M.B. Zwaag van der","year":"2001","unstructured":"van der Zwaag, M.B.: The cones and foci proof technique for timed transition systems. Information Processing Letters\u00a080(1), 33\u201340 (2001)","journal-title":"Information Processing Letters"},{"key":"20_CR15","unstructured":"van der Zwaag, M.B.: Models and Logics for Process Algebra. PhD thesis, University of Amsterdam (2002)"}],"container-title":["Lecture Notes in Computer Science","Formal Modeling and Analysis of Timed Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11603009_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,5]],"date-time":"2023-05-05T12:50:43Z","timestamp":1683291043000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11603009_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540309468","9783540316169"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/11603009_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}