{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:28:40Z","timestamp":1725542920965},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540373766"},{"type":"electronic","value":"9783540373773"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11817949_22","type":"book-chapter","created":{"date-parts":[[2006,8,2]],"date-time":"2006-08-02T19:59:29Z","timestamp":1154548769000},"page":"327-342","source":"Crossref","is-referenced-by-count":6,"title":["A Complete Axiomatisation of Branching Bisimulation for Probabilistic Systems with an Application in Protocol Verification"],"prefix":"10.1007","author":[{"given":"Suzana","family":"Andova","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos C. M.","family":"Baeten","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tim A. C.","family":"Willemse","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"22_CR1","unstructured":"Andova, S., Baeten, J.C.M., Willemse, T.A.C.: Complete axiomatisation of probabilistic branching bisimulation, CSR (to appear, 2006), preliminary version available at, \n                    \n                      http:\/\/www.cs.ru.nl\/timw\/completeness.pdf"},{"key":"#cr-split#-22_CR2.1","doi-asserted-by":"crossref","unstructured":"Andova, S., Willemse, T.A.C.: Branching bisimulation for probabilistic systems: characteristics and decidability. In: Baeten, J.C.M., Corradini, F. (eds.) Theor. Comp. Sci., vol.\u00a0356(3), pp. 325\u2013355 (2006);","DOI":"10.1016\/j.tcs.2006.02.010"},{"key":"#cr-split#-22_CR2.2","unstructured":"Also appeared as a CSR, University of Twente, TR-CTIT-05-08, 2005"},{"key":"22_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1007\/3-540-45319-9_15","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"S. Andova","year":"2001","unstructured":"Andova, S., Baeten, J.C.M.: Abstraction in Probabilistic Process Algebra. In: Margaria, T., Yi, W. (eds.) TACAS 2001. LNCS, vol.\u00a02031, pp. 204\u2013219. Springer, Heidelberg (2001)"},{"key":"22_CR4","first-page":"125","volume":"76","author":"S. Andova","year":"2002","unstructured":"Andova, S., Baeten, J.C.M.: Alternative composition does not imply non-determinism. Bulletin of the European Association for Theoretical Computer Science\u00a076, 125\u2013127 (2002)","journal-title":"Bulletin of the European Association for Theoretical Computer Science"},{"key":"22_CR5","unstructured":"Andova, S.: Probabilistic process algebra, Ph.D. thesis, Eindhoven University of Technology (2002)"},{"key":"22_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/3-540-48778-6_7","volume-title":"Formal Methods for Real-Time and Probabilistic Systems","author":"S. Andova","year":"1999","unstructured":"Andova, S.: Process Algebra with Probabilistic Choice. In: Katoen, J.-P. (ed.) AMAST-ARTS 1999, ARTS 1999, and AMAST-WS 1999. LNCS, vol.\u00a01601, pp. 111\u2013129. Springer, Heidelberg (1999)"},{"key":"22_CR7","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/0304-3975(87)90052-1","volume":"51","author":"J.C.M. Baeten","year":"1987","unstructured":"Baeten, J.C.M., Bergstra, J.A., Klop, J.W.: On the consistency of Koomen\u2019s fair abstraction rule. Theor. Comp. Sci.\u00a051, 129\u2013176 (1987)","journal-title":"Theor. Comp. Sci."},{"key":"22_CR8","doi-asserted-by":"crossref","unstructured":"Baeten, J.C.M., Weijland, W.P.: Process algebra. Cambridge University Press, Cambrodge (1990)","DOI":"10.1017\/CBO9780511624193"},{"key":"22_CR9","unstructured":"Baier, C.: On algorithmic verification methods for probabilistic systems, Habilitation thesis, University of Mannheim (1998)"},{"key":"22_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1007\/3-540-48224-5_31","volume-title":"Automata, Languages and Programming","author":"E. Bandini","year":"2001","unstructured":"Bandini, E., Segala, R.: Axiomatizations for Probabilistic Bisimulation. In: Orejas, F., Spirakis, P.G., van Leeuwen, J. (eds.) ICALP 2001. LNCS, vol.\u00a02076, pp. 370\u2013381. Springer, Heidelberg (2001)"},{"key":"22_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1007\/978-3-540-31982-5_7","volume-title":"Foundations of Software Science and Computational Structures","author":"Y. Deng","year":"2005","unstructured":"Deng, Y., Palamidessi, C.: Axiomatizations for Probabilistic Finite-State Behaviors. In: Sassone, V. (ed.) FOSSACS 2005. LNCS, vol.\u00a03441, pp. 110\u2013124. Springer, Heidelberg (2005)"},{"issue":"3","key":"22_CR12","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 ACM\u00a043(3), 555\u2013600 (1996)","journal-title":"Journal of ACM"},{"key":"22_CR13","unstructured":"Hansson, H.: Time and probability in formal design of distributed systems, Ph.D. thesis, DoCS 91\/27, University of Uppsala (1991)"},{"key":"22_CR14","series-title":"Cambridge Tracts in Theoretical Computer Science","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1017\/CBO9780511608841.012","volume-title":"Applications of Process Algebra","author":"C.P.J. Koymans","year":"1990","unstructured":"Koymans, C.P.J., Mulder, J.C.: A modular approach to protocol verification using process algebra. In: Baeten, J.C.M. (ed.) Applications of Process Algebra. Cambridge Tracts in Theoretical Computer Science, vol.\u00a017, pp. 261\u2013306. Cambridge University Press, Cambridge (1990)"},{"key":"22_CR15","series-title":"International Series in Computer Science","volume-title":"Communication and concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and concurrency. International Series in Computer Science. Prentice-Hall, Englewood Cliffs (1989)"},{"key":"22_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1007\/3-540-44618-4_25","volume-title":"CONCUR 2000 - Concurrency Theory","author":"A. Philippou","year":"2000","unstructured":"Philippou, A., Lee, I., Sokolsky, O.: Weak Bisimulation for Probabilistic Systems. In: Palamidessi, C. (ed.) CONCUR 2000. LNCS, vol.\u00a01877, pp. 334\u2013349. Springer, Heidelberg (2000)"},{"issue":"2","key":"22_CR17","first-page":"250","volume":"2","author":"R. Segala","year":"1995","unstructured":"Segala, R., Lynch, N.A.: Probabilistic simulations for probabilistic processes. Nordic Journal of Computing\u00a02(2), 250\u2013273 (1995)","journal-title":"Nordic Journal of Computing"},{"key":"22_CR18","unstructured":"Stoelinga, M.: Alea jacta est: Verification of probabilistic, real-time and parametric systems, Ph.D. thesis, Katholieke Universiteit Nijmegen, The Netherlands (2002)"},{"issue":"2","key":"22_CR19","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1016\/S0304-3975(97)88197-2","volume":"177","author":"J. Wamel van","year":"1997","unstructured":"van Wamel, J.: Process Algebra with Language Matching. Theor. Comput. Sci.\u00a0177(2), 425\u2013458 (1997)","journal-title":"Theor. Comput. Sci."}],"container-title":["Lecture Notes in Computer Science","CONCUR 2006 \u2013 Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11817949_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:29:54Z","timestamp":1619508594000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11817949_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540373766","9783540373773"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/11817949_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}