{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T03:24:12Z","timestamp":1778297052420,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540422877","type":"print"},{"value":"9783540482246","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-48224-5_31","type":"book-chapter","created":{"date-parts":[[2007,10,28]],"date-time":"2007-10-28T02:29:04Z","timestamp":1193538544000},"page":"370-381","source":"Crossref","is-referenced-by-count":33,"title":["Axiomatizations for Probabilistic Bisimulation"],"prefix":"10.1007","author":[{"given":"Emanuele","family":"Bandini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roberto","family":"Segala","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,7,4]]},"reference":[{"key":"31_CR1","series-title":"Lect Notes Comput Sci","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":"S. Andova. Process algebra with probabilistic choice. In Formal Methods for Real-Time and Probabilistic Systems, LNCS 1601, pages 111\u2013129, 1999."},{"key":"31_CR2","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1006\/inco.1995.1135","volume":"122","author":"J.C.M. Baeten","year":"1995","unstructured":"J.C.M. Baeten, J.A. Bergstra, and S.A. Smolka. Axiomatizing probabilistic processes: ACP with generative probabilities. Information and Computation, 122:234\u2013255, 1995.","journal-title":"Information and Computation"},{"key":"31_CR3","unstructured":"M. Bernardo, L. Donatiello, and R. Gorrieri. Modeling and analyzing concurrent systems with MPA. In Proceedings of the Second Workshop on Process Algebras and Performance Modelling (PAPM), Erlangen, Germany, pages 175\u2013189, 1994."},{"key":"31_CR4","unstructured":"A. Giacalone, C.C Jou, and S.A. Smolka. Algebraic reasoning for probabilistic concurrent systems. In Proceedings of the Working Conference on Programming Concepts and Methods (IFIP TC2), Sea of Galilee, Israel, 1990."},{"issue":"1","key":"31_CR5","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1006\/inco.1995.1123","volume":"121","author":"R.J. Glabbeek van","year":"1996","unstructured":"R.J. van Glabbeek, S.A. Smolka, and B. Steffen. Reactive, generative, and stratified models of probabilistic processes. Information and Computation, 121(1):59\u201380, 1996.","journal-title":"Information and Computation"},{"key":"31_CR6","doi-asserted-by":"crossref","unstructured":"H. Hansson and B. Jonsson. A framework for reasoning about time and reliability. In Proceedings of the 10th IEEE Symposium on Real-Time Systems, 1989.","DOI":"10.1109\/REAL.1989.63561"},{"key":"31_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1007\/BFb0039071","volume-title":"J.Proceedings of CONCUR 90","author":"C.C. Jou","year":"1990","unstructured":"C.C. Jou and S.A. Smolka. Equivalences, congruences, and complete axiomatizations for probabilistic processes. In J.Proceedings of CONCUR 90, LNCS 458, pages 367\u2013383, 1990."},{"key":"31_CR8","doi-asserted-by":"crossref","unstructured":"K.G. Larsen and A. Skou. Bisimulation through probabilistic testing. In Conference Record of the 16 th ACM Symposium on Principles of Programming Languages, pages 344\u2013352, 1989.","DOI":"10.1145\/75277.75307"},{"key":"31_CR9","unstructured":"R. Milner. Communication and Concurrency. Prentice-Hall International, 1989."},{"key":"31_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1007\/3-540-44618-4_25","volume-title":"Proceedings of CONCUR 2000","author":"A. Philippou","year":"2000","unstructured":"A. Philippou, I. Lee, and O. Sokolsky. Weak bisimulation for probabilistic systems. In Proceedings of CONCUR 2000, LNCS 1877, pages 334\u2013349, 2000."},{"key":"31_CR11","unstructured":"R. Segala. Modeling and Verification of Randomized Distributed Real-Time Systems. Technical report MIT\/LCS\/TR-676. PhD thesis, MIT, Dept. of EECS, 1995."},{"key":"31_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"481","DOI":"10.1007\/BFb0015027","volume-title":"Proceedings of CONCUR 94","author":"R. Segala","year":"1994","unstructured":"R. Segala and N.A. Lynch. Probabilistic simulations for probabilistic processes. In Proceedings of CONCUR 94, LNCS 836, pages 481\u2013496, 1994."},{"key":"31_CR13","unstructured":"K. Seidel. Probabilistic communicating processes. Technical Report PRG-102, Ph.D. Thesis, Programming Research Group, Oxford University Computing Laboratory, 1992."},{"key":"31_CR14","unstructured":"E.W. Stark and S.A. Smolka. A complete axiom system for finite-state probabilistic processes. In Proof, Language and Interaction: Essays in Honour of Robin Milner. MIT Press, 1999."},{"key":"31_CR15","doi-asserted-by":"crossref","unstructured":"M.Y. Vardi. Automatic verification of probabilistic concurrent finite-state programs. In Proceedings of 26th IEEE Symposium on Foundations of Computer Science, pages 327\u2013338, 1985.","DOI":"10.1109\/SFCS.1985.12"},{"key":"31_CR16","doi-asserted-by":"crossref","unstructured":"W. Yi and K.G. Larsen. Testing probabilistic and nondeterministic processes. In Protocol Specification, Testing and Verification XII, pages 47\u201361, 1992.","DOI":"10.1016\/B978-0-444-89874-6.50010-6"}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48224-5_31","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T22:28:38Z","timestamp":1556922518000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48224-5_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540422877","9783540482246"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-48224-5_31","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2001]]}}}