{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:28:20Z","timestamp":1761611300507,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540557197"},{"type":"electronic","value":"9783540472780"}],"license":[{"start":{"date-parts":[[1992,1,1]],"date-time":"1992-01-01T00:00:00Z","timestamp":694224000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55719-9_116","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T10:36:37Z","timestamp":1330252597000},"page":"708-719","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":33,"title":["Testing preorders for probabilistic processes"],"prefix":"10.1007","author":[{"given":"Rance","family":"Cleaveland","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Scott A.","family":"Smolka","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Amy","family":"Zwarico","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"58_CR1","doi-asserted-by":"crossref","unstructured":"B. Bloom and A. R. Meyer. A remark on bisimulation between probabilistic processes. In Meyer and Tsailin, editors, Logik at Botik, Springer-Verlag, 1989.","DOI":"10.1007\/3-540-51237-3_4"},{"key":"58_CR2","series-title":"Technical Report DoCS 90\/22","volume-title":"Ph.D. Thesis","author":"I. Christoff","year":"1990","unstructured":"I. Christoff. Testing Equivalences for Probabilistic Processes. Technical Report DoCS 90\/22, Ph.D. Thesis, Department of Computer Science, Uppsala University, Uppsala, Sweden, 1990."},{"key":"58_CR3","unstructured":"R. Cleaveland and A. Zwarico. A theory of testing for real-time. In Proceedings of the Sixth IEEE Symposium on Logic in Computer Science, July 1991."},{"key":"58_CR4","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1007\/BF00264365","volume":"24","author":"R. Nicola De","year":"1987","unstructured":"R. De Nicola. Extensional equivalences for transition systems. Acta Informatica, 24:211\u2013237, 1987.","journal-title":"Acta Informatica"},{"key":"58_CR5","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/0304-3975(84)90113-0","volume":"34","author":"R. Nicola De","year":"1983","unstructured":"R. De Nicola and M. C. B. Hennessy. Testing equivalences for processes. Theoretical Computer Science, 34:83\u2013133, 1983.","journal-title":"Theoretical Computer Science"},{"key":"58_CR6","volume-title":"Algebraic Theory of Processes","author":"M. C. B. Hennessy","year":"1988","unstructured":"M. C. B. Hennessy. Algebraic Theory of Processes. MIT Press, Boston, Mass., 1988."},{"key":"58_CR7","first-page":"367","volume-title":"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. C. M. Baeten and J. W. Klop, editors, Proceedings of CONCUR '90, pages 367\u2013383, Springer-Verlag, Berlin, 1990."},{"key":"58_CR8","doi-asserted-by":"crossref","unstructured":"K. G. Larsen and A. Skou. Bisimulation through probabilistic testing. In Proceedings of 16th Annual ACM Symposium on Principles of Programming Languages, 1989.","DOI":"10.1145\/75277.75307"},{"key":"58_CR9","volume-title":"Volume 92 of Lecture Notes in Computer Science","author":"R. Milner","year":"1980","unstructured":"R. Milner. A Calculus of Communicating Systems. Volume 92 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, 1980."},{"key":"58_CR10","unstructured":"R. Milner. Communication and Concurrency. International Series in Computer Science, Prentice Hall, 1989."},{"key":"58_CR11","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 Proceedings of the 5th IEEE Symposium on Logic in Computer Science, pages 130\u2013141, Philadelphia, PA, 1990.","DOI":"10.1109\/LICS.1990.113740"}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55719-9_116","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T21:42:51Z","timestamp":1742593371000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55719-9_116"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540557197","9783540472780"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-55719-9_116","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]},"assertion":[{"value":"2 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}