{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:27:15Z","timestamp":1761596835950},"reference-count":27,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[1998,1,1]],"date-time":"1998-01-01T00:00:00Z","timestamp":883612800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2014,11,20]],"date-time":"2014-11-20T00:00:00Z","timestamp":1416441600000},"content-version":"vor","delay-in-days":6167,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[1998]]},"DOI":"10.1016\/s1571-0661(04)00121-5","type":"journal-article","created":{"date-parts":[[2004,1,29]],"date-time":"2004-01-29T10:14:39Z","timestamp":1075371279000},"page":"114-132","source":"Crossref","is-referenced-by-count":18,"title":["A Testing Equivalence for Reactive Probabilistic Processes"],"prefix":"10.1016","volume":"16","author":[{"given":"M.Z.","family":"Kwiatkowska","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.J.","family":"Norman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)00121-5_NEWBIB1","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1016\/0304-3975(87)90065-X","article-title":"Observational equivalence as a testing equivalence","volume":"53","author":"Abramsky","year":"1987","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1571-0661(04)00121-5_NEWBIB2","doi-asserted-by":"crossref","unstructured":"C. Baier. Polynomial time algorithms for testing probabilistic bisimulation and simulation. In Proc. CAV'96, volume 1102 of Lecture Notes in Computer Science, pages 38\u201349, Springer Verlag, 1996.","DOI":"10.1007\/3-540-61474-5_57"},{"key":"10.1016\/S1571-0661(04)00121-5_NEWBIB3","doi-asserted-by":"crossref","unstructured":"C. Baier and M.Z. Kwiatkowska. Domain equations for probabilistic processes (Extended Abstract). In Proc. EXPRESS Workshop, volume 7, Electronic Notes in Theoretical Computer Science, Elsevier, 1997.","DOI":"10.1016\/S1571-0661(05)80465-7"},{"key":"10.1016\/S1571-0661(04)00121-5_NEWBIB4","first-page":"109","article-title":"Process algebra for synchronous communication","volume":"60","author":"Bergstra","year":"1984","journal-title":"Information and Computation"},{"key":"10.1016\/S1571-0661(04)00121-5_NEWBIB5","doi-asserted-by":"crossref","unstructured":"A. Bianco and L. de Alfaro. Model checking of probabilistic and nondeterministic systems. Proc. Foundations of Software Technology and Theoretical Computer Science, in volume 1026 of Lecture Notes in Computer Science, pages 499\u2013513, Springer Verlag, 1995.","DOI":"10.1007\/3-540-60692-0_70"},{"key":"10.1016\/S1571-0661(04)00121-5_NEWBIB6","doi-asserted-by":"crossref","unstructured":"B. Bloom and A.R. Meyer. A remark on bisimulation between probabilistic processes. In A.R. Meyer and M.A. Taitslin, editors, Symp. on Logical Foundations of Computer Science, volume 363 of Lecture Notes in Computer Science, pages 26\u201340, Springer Verlag, 1989.","DOI":"10.1007\/3-540-51237-3_4"},{"issue":"3","key":"10.1016\/S1571-0661(04)00121-5_NEWBIB7","doi-asserted-by":"crossref","first-page":"560","DOI":"10.1145\/828.833","article-title":"A theory of communicating sequential processes","volume":"31","author":"Brookes","year":"1984","journal-title":"Journal of the ACM"},{"key":"10.1016\/S1571-0661(04)00121-5_NEWBIB8","doi-asserted-by":"crossref","unstructured":"J. Desharnais, A. Edalat and P. Panangaden. A logical characterization of bisimulation for labeled Markov processes. In Proc. 13th IEEE Symposium on Logic in Computer Science (LICS), pages 478\u2013487, 1998.","DOI":"10.1109\/LICS.1998.705681"},{"key":"10.1016\/S1571-0661(04)00121-5_NEWBIB9","unstructured":"A. Giacalone, C-C. Jou and S.A. Smolka. Algebraic reasoning for probabilistic concurrent systems. In M. Broy and C.B. Jones, editors, Proc. IFIP TC2 Working Conference on Programming Concepts and Methods, Sea of Galilee, Israel, pages 443\u2013458, 1990."},{"key":"10.1016\/S1571-0661(04)00121-5_NEWBIB10","doi-asserted-by":"crossref","unstructured":"R.J. van Glabbeek. The linear time-branching time spectrum. In J.C.M. Beaten and J.W. Klop editors, Proc. CONCUR'90, volume 458 of Lecture Notes in Computer Science, pages 278\u2013297, Springer Verlag, 1990.","DOI":"10.1007\/BFb0039066"},{"key":"10.1016\/S1571-0661(04)00121-5_NEWBIB11","doi-asserted-by":"crossref","unstructured":"R.J. van Glabbeek, S.A. Smolka, B. Steffen and C.M.N. Tofts. Reactive, generative and stratified models of probabilistic processes. In Proc. 5th IEEE Int. Symp. on Logic in Computer Science (LICS), pages 130\u2013141, 1990.","DOI":"10.1109\/LICS.1990.113740"},{"key":"10.1016\/S1571-0661(04)00121-5_NEWBIB12","unstructured":"H.A. Hansson. Time and probability in the formal design of distributed systems. Volume 1 of Real-Time Safety Critical Systems, Elsevier, 1994."},{"issue":"1","key":"10.1016\/S1571-0661(04)00121-5_NEWBIB13","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1145\/2455.2460","article-title":"Algebraic laws for nondeterminism and concurrency","volume":"32","author":"Hennessy","year":"1985","journal-title":"Journal of the Association for Computing Machinery"},{"key":"10.1016\/S1571-0661(04)00121-5_NEWBIB14","doi-asserted-by":"crossref","unstructured":"M. Huth and M.Z. Kwiatkowska. Quantitative analysis and model checking. In Proc. 12th IEEE Int. Symp. on Logic in Computer Science (LICS), pages 111\u2013122, 1997.","DOI":"10.1109\/LICS.1997.614940"},{"key":"10.1016\/S1571-0661(04)00121-5_NEWBIB15","unstructured":"M. Huth. The interval domain: a matchmaker for aCTL and aPCTL. Technical Report CIS-97-17, Department of Computing and Information Sciences, Kansas State University, 1997."},{"key":"10.1016\/S1571-0661(04)00121-5_NEWBIB16","doi-asserted-by":"crossref","unstructured":"M. Huth and M.Z. Kwiatkowska. Comparing CTL and PCTL on labeled Markov chains. In PROCOMET'98, IFIP, Chapman & Hall, 1998.","DOI":"10.1007\/978-0-387-35358-6_18"},{"key":"10.1016\/S1571-0661(04)00121-5_NEWBIB17","doi-asserted-by":"crossref","unstructured":"C-C. Jou and S.A. Smolka. Equivalences, congruences and complete axiomatisations for probabilistic processes. In J.C.M. Baeten and J.W. Klop, editors, CONCUR'90, volume 458 of Lecture Notes in Computer Science, pages 367\u2013383, Springer Verlag, 1990.","DOI":"10.1007\/BFb0039071"},{"key":"10.1016\/S1571-0661(04)00121-5_NEWBIB18","doi-asserted-by":"crossref","unstructured":"M.Z. Kwiatkowska and G.J. Norman. A fully abstract metric-space denotational semantics for reactive probabilistic processes. In Proc. COMPROX'98, volume 13 of Electronic Notes in Theoretical Computer Science, Elsevier, 1998.","DOI":"10.1016\/S1571-0661(05)80222-1"},{"issue":"1","key":"10.1016\/S1571-0661(04)00121-5_NEWBIB19","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0890-5401(91)90030-6","article-title":"Bisimulation through probabilistic testing","volume":"94","author":"Larsen","year":"1991","journal-title":"Information and Computation"},{"key":"10.1016\/S1571-0661(04)00121-5_NEWBIB20","unstructured":"G. Lowe. Representing nondeterministic and probabilistic behaviour in reactive processes. Technical Report, 1993. Available at http:\/\/www.mcs.le.ac.uk\/~glowe\/publications.html."},{"key":"10.1016\/S1571-0661(04)00121-5_NEWBIB21","series-title":"Communication and concurrency","author":"Milner","year":"1989"},{"issue":"6","key":"10.1016\/S1571-0661(04)00121-5_NEWBIB22","doi-asserted-by":"crossref","first-page":"617","DOI":"10.1007\/BF01213492","article-title":"Refinement-oriented probability for CSP","volume":"8","author":"Morgan","year":"1996","journal-title":"Formal Aspects of Computing"},{"key":"10.1016\/S1571-0661(04)00121-5_NEWBIB23","unstructured":"G.J. Norman. Metric semantics for reactive probabilistic processes. Ph.D Thesis, School of Computer Science, The University of Birmingham, November 1997."},{"key":"10.1016\/S1571-0661(04)00121-5_NEWBIB24","article-title":"The theory and practice of concurrency","author":"Roscoe","year":"1997","journal-title":"Prentice Hall International Series in Computer Science"},{"key":"10.1016\/S1571-0661(04)00121-5_NEWBIB25","doi-asserted-by":"crossref","unstructured":"R. Segala and N. Lynch. Probabilistic simulations for probabilistic processes. In B. Jonsson and J. Parrow, editors, Proc. CONCUR'94, volume 836 of Lecture Notes in Computer Science, pages 481\u2013496, Springer, 1994.","DOI":"10.1007\/BFb0015027"},{"key":"10.1016\/S1571-0661(04)00121-5_NEWBIB26","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1016\/0304-3975(94)00286-0","article-title":"Probabilistic communicating processes","volume":"152","author":"Seidel","year":"1995","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1571-0661(04)00121-5_NEWBIB27","doi-asserted-by":"crossref","unstructured":"Wang Yi and K.G. Larsen. Testing probabilistic and non-deterministic processes. Protocol Specification, Testing and Verification XII: 47\u201361, Florida, USA, 1992","DOI":"10.1016\/B978-0-444-89874-6.50010-6"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104001215?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104001215?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,3,29]],"date-time":"2020-03-29T12:30:48Z","timestamp":1585485048000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104001215"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"references-count":27,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1998]]}},"alternative-id":["S1571066104001215"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)00121-5","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[1998]]}}}