{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T23:10:07Z","timestamp":1742598607763,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540584681"},{"type":"electronic","value":"9783540489849"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58468-4_176","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:15:34Z","timestamp":1330272934000},"page":"418-430","source":"Crossref","is-referenced-by-count":21,"title":["Testing and refinement for nondeterministic and probabilistic processes"],"prefix":"10.1007","author":[{"given":"Bengt","family":"Jonsson","sequence":"first","affiliation":[]},{"given":"Chris","family":"Ho-Stuart","sequence":"additional","affiliation":[]},{"given":"Wang","family":"Yi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"20_CR1","volume-title":"PhD thesis","author":"I. Christoff","year":"1990","unstructured":"I. Christoff. Testing Equivalences for Probabilistic Processes. PhD thesis, Dept. of Computer Systems, Uppsala University, Sweden, Uppsala, Sweden, 1990. Available as report DoCS 90\/22."},{"key":"20_CR2","doi-asserted-by":"crossref","unstructured":"R. Cleaveland, S. Smolka, and A. Zwarico. Testing preorders for probabilistic processes. In Proc. ICALP '92, 1992.","DOI":"10.1007\/3-540-55719-9_116"},{"key":"20_CR3","doi-asserted-by":"crossref","unstructured":"C. Courcoubetis and M. Yannakakis. The complexity of probabilistic verification. In Proc. 29 th Annual Symp. Foundations of Computer Science, pages 338\u2013345, 1988.","DOI":"10.1109\/SFCS.1988.21950"},{"key":"20_CR4","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1016\/0304-3975(84)90113-0","volume":"34","author":"R. Nicola de","year":"1984","unstructured":"R. de Nicola and M. Hennessy. Testing equivalences for processes. Theoretical Computer Science, 34:83\u2013133, 1984.","journal-title":"Theoretical Computer Science"},{"key":"20_CR5","unstructured":"A. Giacalone, C. Jou, and S.A. Smolka. Algebraic reasoning for probabilistic concurrent systems. In Proc. IFIP TC2 Working Conference on Programming Concepts and Methods, Sea of Galilee, April 1990."},{"key":"20_CR6","doi-asserted-by":"crossref","unstructured":"H. Hansson and B. Jonsson. A framework for reasoning about time and reliability. In Proc. 10 th IEEE Real \u2014 Time Systems Symposium, S:a Monica, Ca., 1989.","DOI":"10.1109\/REAL.1989.63561"},{"key":"20_CR7","doi-asserted-by":"crossref","unstructured":"H. Hansson and B. Jonsson. A calculus for communicating systems with time and probabilities. In Proc. 11 th IEEE Real \u2014 Time Systems Symposium, Orlando, Florida, 1990.","DOI":"10.1109\/REAL.1990.128759"},{"key":"20_CR8","doi-asserted-by":"crossref","unstructured":"C. A. R. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985.","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"20_CR9","doi-asserted-by":"crossref","unstructured":"S. Hart and M. Sharir. Probabilistic temporal logics for finite and bounded models. In Proc. 16 th ACM Symp. on Theory of Computing, pages 1\u201313, 1984.","DOI":"10.1145\/800057.808660"},{"key":"20_CR10","doi-asserted-by":"crossref","unstructured":"B. Jonsson and K. Larsen. Specification and refinement of probabilistic processes. In Proc. 6 th IEEE Int. Symp. on Logic in Computer Science, Amsterdam, Holland, July 1991.","DOI":"10.1109\/LICS.1991.151651"},{"key":"20_CR11","doi-asserted-by":"crossref","unstructured":"D. Kozen. A probabilistic pdl. In Proc. 15 th A CM Symp. on Theory of Computing, pages 291\u2013297, 1983.","DOI":"10.1145\/800061.808758"},{"key":"20_CR12","unstructured":"Gavin Lowe. Probabilities and Priorities in Timed CSP. D. Phil thesis, Oxford, 1993."},{"issue":"1","key":"20_CR13","first-page":"1","volume":"94","author":"K.G. Larsen","year":"1991","unstructured":"K.G. Larsen and A. Skou. Bisimulation through probabilistic testing. Information and Control, 94(1):1\u201328, 1991.","journal-title":"Information and Control"},{"key":"20_CR14","unstructured":"R. Milner. Communication and Concurrency. Prentice-Hall, 1989."},{"issue":"9","key":"20_CR15","doi-asserted-by":"crossref","first-page":"913","DOI":"10.1109\/TC.1982.1676110","volume":"C-31","author":"M.K. Molloy","year":"1982","unstructured":"M.K. Molloy. Performance analysis using stochastic petri nets. IEEE Trans. on Computers, C-31(9):913\u2013917, Sept. 1982.","journal-title":"IEEE Trans. on Computers"},{"key":"20_CR16","doi-asserted-by":"crossref","unstructured":"Z. Manna and A. Pnueli. The anchored version of the temporal framework. In de Bakker, de Roever, and Rozenberg, editors, Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, volume 354 of Lecture Notes in Computer Science, pages 201\u2013284. Springer Verlag, 1989.","DOI":"10.1007\/BFb0013024"},{"key":"20_CR17","volume-title":"Technical Report DAIMI FN-19","author":"G. Plotkin","year":"1981","unstructured":"G. Plotkin. A structural approach to operational semantics. Technical Report DAIMI FN-19, Computer Science Department, Aarhus University, Denmark, 1981."},{"issue":"6","key":"20_CR18","doi-asserted-by":"crossref","first-page":"740","DOI":"10.1109\/TSE.1987.233478","volume":"SE-13","author":"S. Purushothaman","year":"1989","unstructured":"S. Purushothaman and P.A. Subrahmanyam. Reasoning about probabilistic behavior in concurrent systems. IEEE Trans. on Software Engineering, SE-13(6):740\u2013745, June 1989.","journal-title":"IEEE Trans. on Software Engineering"},{"issue":"1","key":"20_CR19","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1007\/BF01843570","volume":"1","author":"A. Pnueli","year":"1986","unstructured":"A. Pnueli and L. Zuck. Verification of multiprocess probabilistic protocols. Distributed Computing, 1(1):53\u201372, 1986.","journal-title":"Distributed Computing"},{"key":"20_CR20","doi-asserted-by":"crossref","first-page":"230","DOI":"10.1016\/S0019-9958(63)90290-0","volume":"6","author":"M.O. Rabin","year":"1963","unstructured":"M.O. Rabin. Probabilistic automata. Information and Control, 6:230\u2013245, 1963.","journal-title":"Information and Control"},{"key":"20_CR21","doi-asserted-by":"crossref","unstructured":"M.Y. Vardi. Automatic verification of probabilistic concurrent finite-state programs. In Proc. 26 th Annual Symp. Foundations of Computer Science, pages 327\u2013338, 1985.","DOI":"10.1109\/SFCS.1985.12"},{"key":"20_CR22","doi-asserted-by":"crossref","unstructured":"R. van Glabbeek, S.A. Smolka, B. Steffen, and C. Tofts. Reactive, generative, and stratified models of probabilistic processes. In Proc. 5 th IEEE Int. Symp. on Logic in Computer Science, pages 130\u2013141, 1990.","DOI":"10.1109\/LICS.1990.113740"},{"key":"20_CR23","unstructured":"M. Y. Vardi and P. Wolper. An automata-theoretic approach to automatic program verification. In Proc. 1 st IEEE Int. Symp. on Logic in Computer Science, pages 332\u2013344, June 1986."},{"key":"20_CR24","doi-asserted-by":"crossref","unstructured":"Wang Yi and K. Larsen. Testing probabilistic and nondeterministic processes. In Protocol Specification, Testing, and Verification XII, 1992.","DOI":"10.1016\/B978-0-444-89874-6.50010-6"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques in Real-Time and Fault-Tolerant Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58468-4_176.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T22:31:23Z","timestamp":1742596283000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58468-4_176"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540584681","9783540489849"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-58468-4_176","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}