{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T03:41:59Z","timestamp":1778298119478,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":43,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540672579","type":"print"},{"value":"9783540464327","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-46432-8_1","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T16:22:02Z","timestamp":1184602922000},"page":"1-16","source":"Crossref","is-referenced-by-count":8,"title":["Norm Functions for Probabilistic Bisimulations with Delays"],"prefix":"10.1007","author":[{"given":"Christel","family":"Baier","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mari\u00eblle","family":"Stoelinga","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2000,5,19]]},"reference":[{"key":"1_CR1","unstructured":"P. d\u2019Argenio, H. Hermanns, J. Katoen: On Generative Parallel Composition, Proc. PROBMIV\u201998, ENTCS, Vol. 21, 1999."},{"key":"1_CR2","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1006\/inco.1995.1135","volume":"122","author":"J. Baeten","year":"1995","unstructured":"J. Baeten, J. Bergstra, S. Smolka: Axiomatizing Probabilistic Processes: ACP with Generative Probabilities, Inf. and Comp., Vol. 122, pp 234\u2013255, 1995.","journal-title":"Inf. and Comp."},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"C. Baier, B. Engelen, M. Majster-Cederbaum: Deciding Bisimilarity and Similarity for Probabilistic Systems, to appear in Journ. of Computer and System Sc., 2000.","DOI":"10.1006\/jcss.1999.1683"},{"key":"1_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1007\/3-540-63166-6_14","volume-title":"Proc. CAV\u201997","author":"C. Baier","year":"1997","unstructured":"C. Baier, H. Hermanns: Weak Bisimulation for Fully Probabilistic Processes, Proc. CAV\u201997, LNCS 1254, pp 119\u2013130, 1997."},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"C. Baier, M. Kwiatkowska: Domain Equations for Probabilistic Processes, to appear in Mathematical Structures in Computer Science, 2000.","DOI":"10.1017\/S0960129599002984"},{"key":"1_CR6","unstructured":"C. Baier, M. Stoelinga: Probabilistic Bisimulation and Simulation: Decidability, Complexity and Compositionality, Techn. Report, University Nijmegen, 1999."},{"key":"1_CR7","unstructured":"T. Bolognesi, S. Smolka: Fundamental Results for the Verification of Observational Equivalence: a Survey, Proc. Protocol Specification, Testing and Verification, Elsevier Science Publishers, IFIP, pp 165\u2013179, 1987."},{"issue":"2","key":"1_CR8","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1016\/0890-5401(92)90017-A","volume":"98","author":"J. Burch","year":"1992","unstructured":"J. Burch, E. Clarke, K. McMillan, D. Dill, L. Hwang: Symbolic Model Checking: 1020 States and Beyond, Inform. and Computation, Vol. 98(2), pp 142\u2013170, 1992.","journal-title":"Inform. and Computation"},{"key":"1_CR9","unstructured":"L. Christoff: Specification and Verification Methods for Probabilistic Processes, Ph. D. Thesis, Uppsala University, 1993."},{"key":"1_CR10","series-title":"Lect Notes Comput Sci","first-page":"310","volume-title":"Proc. CAV\u201991","author":"L. Christoff","year":"1991","unstructured":"L. Christoff, I. Christoff: Efficient Algorithms for Verification of Equivalences for Probabilistic Processes, Proc. CAV\u201991, LNCS 575, pp 310\u2013321, 1991."},{"key":"1_CR11","unstructured":"T. Cormen, C. Leiserson, R. Rivest: Introd. to Algorithms, McGraw Hill, 1996."},{"key":"1_CR12","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/BF02242704","volume":"6","author":"R. Enders","year":"1993","unstructured":"R. Enders, T. Filkorn, D. Taubner: Generating BDDs for Symbolic Model checking in CCS, Distributed Computing, Vol. 6, pp 155\u2013164, 1993.","journal-title":"Distributed Computing"},{"key":"1_CR13","unstructured":"A. Giacalone, C. Jou, S. Smolka: Algebraic Reasoning for Probabilistic Concurrent Systems, Proc. IFIP TC2 Working Conf. on Prog. Concepts and Methods, 1990."},{"key":"1_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1007\/3-540-57208-2_6","volume-title":"Proc. CONCUR\u201993","author":"R. Glabbeek van","year":"1993","unstructured":"R. van Glabbeek: The Linear Time-Branching Time Spectrum II: The Semantics of Sequential Systems with Silent Moves, extended abstract, Proc. CONCUR\u201993, LNCS 715, pp 66\u201381, 1993."},{"key":"1_CR15","doi-asserted-by":"crossref","unstructured":"R. van Glabbeek, S. Smolka, B. Steffen, C. Tofts: Reactive, Generative, and Stratified Models for Probabilistic Processes, Proc. LICS\u201990, pp 130\u2013141, 1990.","DOI":"10.1109\/LICS.1990.113740"},{"issue":"3","key":"1_CR16","doi-asserted-by":"publisher","first-page":"555","DOI":"10.1145\/233551.233556","volume":"43","author":"R. Glabbeek van","year":"1996","unstructured":"R. van Glabbeek, W. Weijland: Branching Time and Abstraction in Bisimulation Semantics, Journal of the ACM, Vol. 43(3), pp 555\u2013600, 1996.","journal-title":"Journal of the ACM"},{"key":"1_CR17","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"332","DOI":"10.1007\/BFb0028756","volume-title":"Proc. CAV\u201998","author":"D. Griffioen","year":"1998","unstructured":"D. Griffioen, F. Vaandrager: Normed Simulations, Proc. CAV\u201998, LNCS 1427, pp 332\u2013344, 1998."},{"key":"1_CR18","unstructured":"H. Hansson: Time and Probability in Formal Design of Distributed Systems, in Real-Time Safety Ciritical Systems, Vol. 1, Elsevier, 1994."},{"key":"1_CR19","doi-asserted-by":"crossref","unstructured":"H. Hansson, B. Jonsson: A Calculus for Communicating Systems with Time and Probabilities, Proc. IEEE Real-Time Systems Symposium, IEEE Computer Society Press, pp 278\u2013287, 1990.","DOI":"10.1109\/REAL.1990.128759"},{"key":"1_CR20","doi-asserted-by":"crossref","first-page":"211","DOI":"10.3233\/FI-1992-17304","volume":"17","author":"T. Huynh","year":"1992","unstructured":"T. Huynh, L. Tian: On some Equivalence Relations for Probabilistic Processes, Fundamenta Informaticae, Vol. 17, pp 211\u2013234, 1992.","journal-title":"Fundamenta Informaticae"},{"key":"1_CR21","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"418","DOI":"10.1007\/3-540-58468-4_176","volume-title":"Proc. FTRTFT\u201994","author":"B. Jonsson","year":"1994","unstructured":"B. Jonsson, C. Ho-Stuart, W. Yi: Testing and Refinement for Nondeterministic and Probabilistic Processes, Proc. FTRTFT\u201994, LNCS 863, pp 418\u2013430, 1994."},{"key":"1_CR22","doi-asserted-by":"crossref","unstructured":"B. Jonsson, K.G. Larsen: Specification and Refinement of Probabilistic Processes, Proc. LICS\u201991, pp 266\u2013277, 1991.","DOI":"10.1109\/LICS.1991.151651"},{"key":"1_CR23","doi-asserted-by":"crossref","unstructured":"B. Jonsson, W. Yi: Compositional Testing Preorders for Probabilistic Processes, Proc. LICS\u201995, pp 431\u2013443, 1995.","DOI":"10.1109\/LICS.1995.523277"},{"key":"1_CR24","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1007\/BFb0039071","volume-title":"Proc. CONCUR\u201990","author":"C. Jou","year":"1990","unstructured":"C. Jou, S. Smolka: Equivalences, Congruences and Complete Axiomatizations for Probabilistic Processes, Proc. CONCUR\u201990, LNCS 458, pp 367\u2013383, 1990."},{"key":"1_CR25","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/0890-5401(90)90025-D","volume":"86","author":"P. Kannelakis","year":"1990","unstructured":"P. Kannelakis, S. Smolka: CCS Expressions, Finite State Processes and Three Problems of Equivalence, Information and Computation, Vol. 86, pp 43\u201368, 1990.","journal-title":"Information and Computation"},{"key":"1_CR26","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(91)90030-6","volume":"94","author":"K. Larsen","year":"1991","unstructured":"K. Larsen, A. Skou: Bisimulation through Probabilistic Testing, Information and Computation, Vol. 94, pp 1\u201328, 1991.","journal-title":"Information and Computation"},{"key":"1_CR27","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"456","DOI":"10.1007\/BFb0084809","volume-title":"Proc. CONCUR\u201992","author":"K. Larsen","year":"1992","unstructured":"K. Larsen, A. Skou: Compositional Verification of Probabilistic Processes, Proc. CONCUR\u201992, LNCS 630, pp 456\u2013471, 1992."},{"key":"1_CR28","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of Communicating Systems","author":"R. Milner","year":"1980","unstructured":"R. Milner: A Calculus of Communicating Systems, LNCS 92, 1980."},{"key":"1_CR29","unstructured":"R. Milner: Communication and Concurrency, Prentice Hall, 1989."},{"issue":"6","key":"1_CR30","doi-asserted-by":"publisher","first-page":"973","DOI":"10.1137\/0216062","volume":"16","author":"R. Paige","year":"1987","unstructured":"R. Paige, R. Tarjan: Three Partition Refinement Algorithms, SIAM Journal of Computing, Vol. 16, No. 6, pp 973\u2013989, 1987.","journal-title":"SIAM Journal of Computing"},{"key":"1_CR31","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1007\/BFb0017309","volume-title":"Proc. 5th GI Conference","author":"D. Park","year":"1981","unstructured":"D. Park: Concurrency and Automata on Infinite Sequences, Proc. 5th GI Conference, LNCS 104, pp 167\u2013183, 1981."},{"key":"1_CR32","unstructured":"A. Philippou, O. Sokolsky, I. Lee: Weak Bisimulation for Probabilistic Systems, submitted for publication."},{"key":"1_CR33","doi-asserted-by":"crossref","unstructured":"M. Puterman: Markov Decision Processes, John Wiley and Sons, 1994.","DOI":"10.1002\/9780470316887"},{"key":"1_CR34","unstructured":"R. Segala: Modeling and Verification of Randomized Distributed Real-Time Systems, Ph.D.Thesis, Massachusetts Institute of Technology, 1995."},{"key":"1_CR35","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"234","DOI":"10.1007\/3-540-60218-6_17","volume-title":"Proc. CONCUR\u201995","author":"R. Segala","year":"1995","unstructured":"R. Segala: A Compositional Trace-Based Semantics for Probabilistic Automata, Proc. CONCUR\u201995, LNCS 962, pp 234\u2013248, 1995."},{"key":"1_CR36","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"481","DOI":"10.1007\/978-3-540-48654-1_35","volume-title":"Proc. CONCUR\u201994","author":"R. Segala","year":"1994","unstructured":"R. Segala, N. Lynch: Probabilistic Simulations for Probabilistic Processes, Proc. CONCUR\u201994, LNCS 836, pp 481\u2013496, 1994."},{"issue":"2","key":"1_CR37","first-page":"250","volume":"2","author":"R. Segala","year":"1995","unstructured":"R. Segala, N. Lynch: Probabilistic Simulations for Probabilistic Processes, Nordic Journal of Computing, Vol. 2(2), pp 250\u2013273, 1995.","journal-title":"Nordic Journal of Computing"},{"key":"1_CR38","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1007\/3-540-48778-6_4","volume-title":"Proc. ARTS\u201999","author":"M. Stoelinga","year":"1999","unstructured":"M. Stoelinga, F. Vaandrager: Root Contention in IEEE 1394, Proc. ARTS\u201999, LNCS 1601, pp 53\u201374, 1999."},{"key":"1_CR39","unstructured":"M. Stoelinga: Hypernorms for Probabilistic Systems, in preparation, 2000."},{"key":"1_CR40","unstructured":"W. Weijland: Synchrony and Asynchrony in Process Algebra, Ph.D.Thesis, Univesity of Amsterdam, 1989."},{"key":"1_CR41","doi-asserted-by":"crossref","unstructured":"M. Vardi: Automatic Verification of Probabilistic Concurrent Finite-State Programs, Proc. FOCS\u201985, pp 327\u2013338, 1985.","DOI":"10.1109\/SFCS.1985.12"},{"key":"1_CR42","doi-asserted-by":"crossref","unstructured":"W. Yi, K. Larsen: Testing Probabilistic and Nondeterministic Processes, Proc. Protocol, Specification, Testing, Verification XII, pp 47\u201361, 1992.","DOI":"10.1016\/B978-0-444-89874-6.50010-6"},{"key":"1_CR43","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"680","DOI":"10.1007\/3-540-58468-4_190","volume-title":"Proc. FTRTFT\u201994","author":"W. Yi","year":"1994","unstructured":"W. Yi: Algebraic Reasoning for Real-Time Probabilistic Processes with Uncertain Information, Proc. FTRTFT\u201994, LNCS 863, pp 680\u2013693, 1994."}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Science and Computation Structures"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46432-8_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,19]],"date-time":"2021-08-19T11:23:46Z","timestamp":1629372226000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46432-8_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540672579","9783540464327"],"references-count":43,"URL":"https:\/\/doi.org\/10.1007\/3-540-46432-8_1","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2000]]}}}