{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:35:30Z","timestamp":1761597330802},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540602187"},{"type":"electronic","value":"9783540447382"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60218-6_18","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:51:09Z","timestamp":1330278669000},"page":"249-263","source":"Crossref","is-referenced-by-count":21,"title":["Acceptance trees for probabilistic processes"],"prefix":"10.1007","author":[{"given":"Manuel","family":"N\u00fa\u00f1ez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Frutos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luis","family":"Llana","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"18_CR1","doi-asserted-by":"crossref","first-page":"472","DOI":"10.1007\/BFb0084810","volume":"630","author":"J.C.M. Baeten","year":"1992","unstructured":"J.C.M. Baeten, J.A. Bergstra, and S.A. Smolka. Axiomatizing probabilistic processes: ACP with generative probabilities. In CONCUR'92, LNCS 630, pages 472\u2013485, 1992.","journal-title":"CONCUR'92, LNCS"},{"key":"18_CR2","first-page":"126","volume":"458","author":"I. Christoff","year":"1990","unstructured":"I. Christoff. Testing equivalences and fully abstract models for probabilistic processes. In CONCUR'90, LNCS 458, pages 126\u2013140, 1990.","journal-title":"CONCUR'90, LNCS"},{"key":"18_CR3","first-page":"708","volume":"623","author":"R. Cleaveland","year":"1992","unstructured":"R. Cleaveland, S.A. Smolka, and A.E. Zwarico. Testing preorders for probabilistic processes. In 19 th ICALP, LNCS 623, pages 708\u2013719, 1992.","journal-title":"19 th ICALP, LNCS"},{"key":"18_CR4","unstructured":"F. Cuartero. CSP probabil\u00edstico (PCSP). Un modelo probabil\u00edstico de procesos concurrentes. PhD thesis, Universidad Complutense de Madrid, 1993."},{"key":"18_CR5","doi-asserted-by":"crossref","first-page":"138","DOI":"10.1007\/3-540-17660-8_53","volume":"249","author":"R. Nicola de","year":"1987","unstructured":"R. de Nicola and M. Hennessy. CCS without \u03c4's. In TAPSOFT'87, LNCS 249, pages 138\u2013152, 1987.","journal-title":"TAPSOFT'87, LNCS"},{"key":"18_CR6","unstructured":"A. Giacalone, C.-C. Jou, and S.A. Smolka. Algebraic reasoning for probabilistic concurrent systems. In Proceedings of Working Conference on Programming Concepts and Methods, IFIP TC 2, 1990."},{"issue":"4","key":"18_CR7","doi-asserted-by":"publisher","first-page":"896","DOI":"10.1145\/4221.4249","volume":"32","author":"M. Hennessy","year":"1985","unstructured":"M. Hennessy. Acceptance trees. Journal of the ACM, 32(4):896\u2013928, 1985.","journal-title":"Journal of the ACM"},{"key":"18_CR8","unstructured":"M. Hennessy. Algebraic Theory of Processes. MIT Press, 1988."},{"key":"18_CR9","doi-asserted-by":"crossref","unstructured":"H. Hansson and B. Jonsson. A calculus for communicating systems with time and probabilities. In 11th IEEE Real-Time Systems Symposium, pages 278\u2013287, 1990.","DOI":"10.1109\/REAL.1990.128759"},{"key":"18_CR10","doi-asserted-by":"crossref","unstructured":"B. Jonsson and W. Yi. Compositional testing preorders for probabilistic processes. In 10th IEEE Symposium on Logic In Computer Science, 1995.","DOI":"10.1109\/LICS.1995.523277"},{"key":"18_CR11","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1016\/0304-3975(94)00171-E","volume":"138","author":"G. Lowe","year":"1995","unstructured":"G. Lowe. Probabilistic and prioritized models of timed CSP. Theoretical Computer Science, 138:315\u2013352, 1995.","journal-title":"Theoretical Computer Science"},{"key":"18_CR12","doi-asserted-by":"crossref","first-page":"456","DOI":"10.1007\/BFb0084809","volume":"630","author":"K.G. Larsen","year":"1992","unstructured":"K.G. Larsen and A. Skou. Compositional verification of probabilistic processes. In CONCUR'92, LNCS 630, pages 456\u2013471, 1992.","journal-title":"CONCUR'92, LNCS"},{"key":"18_CR13","unstructured":"K. Seidel. Probabilistic Communicating Processes. PhD thesis, Oxford University, 1992."},{"key":"18_CR14","first-page":"456","volume":"458","author":"S.A. Smolka","year":"1990","unstructured":"S.A. Smolka and B. Steffen. Priority as extremal probability. In CONCUR'90, LNCS 458, pages 456\u2013466, 1990.","journal-title":"CONCUR'90, LNCS"},{"key":"18_CR15","doi-asserted-by":"crossref","unstructured":"R. van Glabbeek, S.A. Smolka, B. Steffen, and C.M.N. Tofts. Reactive, generative, and stratified models of probabilistic processes. In 5th IEEE Symposium on Logic In Computer Science, pages 130\u2013141, 1990.","DOI":"10.1109\/LICS.1990.113740"},{"key":"18_CR16","first-page":"513","volume":"836","author":"S.-H. Wu","year":"1994","unstructured":"S.-H. Wu, S.A. Smolka, and E.W. Stark. Composition and behaviors of probabilistic I\/O automata. In CONCUR'94, LNCS 836, pages 513\u2013528, 1994.","journal-title":"CONCUR'94, LNCS"},{"key":"18_CR17","first-page":"497","volume":"836","author":"S. Yuen","year":"1994","unstructured":"S. Yuen, R. Cleaveland, Z. Dayar, and S.A. Smolka. Fully abstract characterizations of testing preorders for probabilistic processes. In CONCUR'94, LNCS 836, pages 497\u2013512, 1994.","journal-title":"CONCUR'94, LNCS"},{"key":"18_CR18","first-page":"47","volume":"XII","author":"W. Yi","year":"1992","unstructured":"W. Yi and K.G. Larsen. Testing probabilistic and nondeterministic processes. In PSTV XII, pages 47\u201361, 1992.","journal-title":"PSTV"}],"container-title":["Lecture Notes in Computer Science","CONCUR '95: Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60218-6_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:33:39Z","timestamp":1619573619000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60218-6_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540602187","9783540447382"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-60218-6_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}