{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:28:36Z","timestamp":1725542916462},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540373766"},{"type":"electronic","value":"9783540373773"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11817949_23","type":"book-chapter","created":{"date-parts":[[2006,8,2]],"date-time":"2006-08-02T15:59:29Z","timestamp":1154534369000},"page":"343-357","source":"Crossref","is-referenced-by-count":2,"title":["Probabilistic I\/O Automata: Theories of Two Equivalences"],"prefix":"10.1007","author":[{"given":"Eugene W.","family":"Stark","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rance","family":"Cleaveland","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Scott A.","family":"Smolka","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"23_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/3-540-48778-6_7","volume-title":"Formal Methods for Real-Time and Probabilistic Systems","author":"S. Andova","year":"1999","unstructured":"Andova, S.: Process Algebra with Probabilistic Choice. In: Katoen, J.-P. (ed.) AMAST-ARTS 1999, ARTS 1999, and AMAST-WS 1999. LNCS, vol.\u00a01601, pp. 111\u2013129. Springer, Heidelberg (1999)"},{"key":"23_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/3-540-44618-4_23","volume-title":"CONCUR 2000 - Concurrency Theory","author":"M. Bernardo","year":"2000","unstructured":"Bernardo, M., Cleaveland, R.: A Theory of Testing for Markovian Processes. In: Palamidessi, C. (ed.) CONCUR 2000. LNCS, vol.\u00a01877, pp. 305\u2013319. Springer, Heidelberg (2000)"},{"issue":"2","key":"23_CR3","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1006\/inco.1998.2706","volume":"144","author":"M. Bernardo","year":"1998","unstructured":"Bernardo, M., Donatiello, L., Gorrieri, R.: A formal approach to the integration of performance aspects in the modeling and analysis of concurrent systems. Information and Computation\u00a0144(2), 83\u2013154 (1998)","journal-title":"Information and Computation"},{"key":"23_CR4","series-title":"Electronic Notes in Theoretical Computer Science","volume-title":"International Workshop on Algebraic Process Calculi: The First Twenty Five Years and Beyond (APC 25)","author":"M. Bernardo","year":"2005","unstructured":"Bernardo, M.: Markovian testing and trace equivalences exactly lump more than Markovian bisimilarity. In: Aceto, L., Gordon, A.D. (eds.) International Workshop on Algebraic Process Calculi: The First Twenty Five Years and Beyond (APC 25). Electronic Notes in Theoretical Computer Science. Springer, Heidelberg (2005)"},{"key":"23_CR5","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/S0304-3975(00)00305-4","volume":"274","author":"J.-P. Katoen","year":"2002","unstructured":"Katoen, J.-P., Hermanns, H., Herzog, U.: Process algebra for performance evaluation. Theoretical Computer Science\u00a0274, 43\u201397 (2002)","journal-title":"Theoretical Computer Science"},{"key":"23_CR6","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511569951","volume-title":"A Compositional Approach to Performance Modelling","author":"J. Hillston","year":"1996","unstructured":"Hillston, J.: A Compositional Approach to Performance Modelling. Cambridge University Press, Cambridge (1996)"},{"key":"23_CR7","unstructured":"Hermanns, H., Rettelbach, M.: Syntax, semantics, equivalences, and axioms for MTIPP (1994)"},{"issue":"1","key":"23_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(91)90030-6","volume":"94","author":"K.G. Larsen","year":"1991","unstructured":"Larsen, K.G., Skou, A.: Bisimulation through probabilistic testing. Information and Computation\u00a094(1), 1\u201328 (1991)","journal-title":"Information and Computation"},{"key":"23_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/978-3-540-45187-7_13","volume-title":"CONCUR 2003 - Concurrency Theory","author":"W.R. Cleaveland","year":"2003","unstructured":"Cleaveland, W.R., Smolka, S.A., Stark, E.W.: A Process-Algebraic Language for Probabilistic I\/O Automata. In: Amadio, R., Lugiez, D. (eds.) CONCUR 2003. LNCS, vol.\u00a02761, pp. 193\u2013207. Springer, Heidelberg (2003)"},{"key":"23_CR10","doi-asserted-by":"crossref","unstructured":"Stark, E.W., Cleaveland, R., Smolka, S.A.: Probabilistic I\/O automata: Theories of two equivalences (June 2006), Full version available at: http:\/\/bsd7.cs.sunysb.edu\/~stark\/REPORTS\/pioa-equivalences.pdf","DOI":"10.1007\/11817949_23"},{"issue":"2","key":"23_CR11","first-page":"361","volume":"8","author":"E.W. Stark","year":"2003","unstructured":"Stark, E.W.: On behaviour equivalence for probabilistic I\/O automata and its relationship to probabilistic bisimulation. Journal of Automata, Languages and Combinatorics\u00a08(2), 361\u2013395 (2003)","journal-title":"Journal of Automata, Languages and Combinatorics"},{"issue":"1-2","key":"23_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0304-3975(97)00056-X","volume":"176","author":"S.-H. Wu","year":"1997","unstructured":"Wu, S.-H., Smolka, S.A., Stark, E.W.: Composition and behaviors of probabilistic I\/O automata. Theoretical Computer Science\u00a0176(1-2), 1\u201338 (1997)","journal-title":"Theoretical Computer Science"}],"container-title":["Lecture Notes in Computer Science","CONCUR 2006 \u2013 Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11817949_23.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:15:48Z","timestamp":1605626148000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11817949_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540373766","9783540373773"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/11817949_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}