{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:13:12Z","timestamp":1759637592488},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540253884"},{"type":"electronic","value":"9783540319825"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-31982-5_8","type":"book-chapter","created":{"date-parts":[[2011,1,14]],"date-time":"2011-01-14T02:29:02Z","timestamp":1294972142000},"page":"125-139","source":"Crossref","is-referenced-by-count":26,"title":["Stochastic Transition Systems for Continuous State Spaces and Non-determinism"],"prefix":"10.1007","author":[{"given":"Stefano","family":"Cattani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roberto","family":"Segala","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marta","family":"Kwiatkowska","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gethin","family":"Norman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","unstructured":"Alfaro, L.d.: Formal Verification of Probabilistic Systems. PhD thesis, Stanford University, Available as Technical report STAN-CS-TR-98-1601 (1997)"},{"key":"8_CR2","volume-title":"Real Analysis and Probability","author":"R.B. Ash","year":"1972","unstructured":"Ash, R.B.: Real Analysis and Probability. Academic Press, London (1972)"},{"key":"8_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/3-540-63166-6_14","volume-title":"Computer Aided Verification","author":"C. Baier","year":"1997","unstructured":"Baier, C., Hermanns, H.: Weak bisimulation for fully probabilistic processes. In: Grumberg, O. (ed.) CAV 1997. LNCS, vol.\u00a01254, pp. 119\u2013130. Springer, Heidelberg (1997)"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Bravetti, M.: Specification and Analysis of Stochastic Real-Time Systems. PhD thesis, Universit\u00e0 di Bologna, Padova, Venezia (2002)","DOI":"10.1007\/3-540-45605-8_14"},{"key":"8_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/978-3-540-24611-4_2","volume-title":"Validation of Stochastic Systems","author":"M. Bravetti","year":"2004","unstructured":"Bravetti, M., D\u2019Argenio, P.: Tutte le algebre insieme: Concepts, discussions and relations of stochastic process algebras with general distributions. In: Baier, C., Haverkort, B.R., Hermanns, H., Katoen, J.-P., Siegle, M. (eds.) Validation of Stochastic Systems. LNCS, vol.\u00a02925, pp. 44\u201388. Springer, Heidelberg (2004)"},{"key":"8_CR6","unstructured":"Cattani, S.: Trace-based Process Algebras for Real-time Probabilistic Systems. PhD thesis, School of Computer Science, The University of Birmingham (forthcoming 2005)"},{"key":"8_CR7","unstructured":"D\u2019Argenio, P.R.: Algebras and Automata for Timed and Stochastic Systems. PhD thesis, Department of Computer Science, University of Twente (November 1999)"},{"issue":"2","key":"8_CR8","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1006\/inco.2001.2962","volume":"179","author":"J. Desharnais","year":"2002","unstructured":"Desharnais, J., Edalat, A., Panangaden, P.: Bisimulation for labelled markov processes. Information and Computation\u00a0179(2), 163\u2013193 (2002)","journal-title":"Information and Computation"},{"key":"8_CR9","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/BFb0092872","volume-title":"Categorical Aspects of Topology and Analysis","author":"M. Giry","year":"1981","unstructured":"Giry, M.: A categorical approach to probability theory. In: Banaschewski, B. (ed.) Categorical Aspects of Topology and Analysis. Lecture Notes in Mathematics, vol.\u00a0915, pp. 68\u201385. Springer, Heidelberg (1981)"},{"issue":"1","key":"8_CR10","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1006\/inco.1995.1123","volume":"121","author":"R.V. Glabbeek","year":"1995","unstructured":"Glabbeek, R.v., Smolka, S., Steffen, B.: Reactive, generative, and stratified models of probabilistic processes. Information and Computation\u00a0121(1), 59\u201380 (1995)","journal-title":"Information and Computation"},{"key":"8_CR11","series-title":"Real-Time Safety Critical Systems","volume-title":"Time and Probability in Formal Design of Distributed Systems","author":"H. Hansson","year":"1994","unstructured":"Hansson, H.: Time and Probability in Formal Design of Distributed Systems. Real-Time Safety Critical Systems, vol.\u00a01. Elsevier, Amsterdam (1994)"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Hermanns, H.: Interactive Markov Chains: The Quest for Quantified Quality. LNCS, vol.\u00a02428, p. 57. Springer, Heidelberg (2002)","DOI":"10.1007\/3-540-45804-2_4"},{"key":"8_CR13","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":"8_CR14","volume-title":"Communicating Sequential Processes","author":"C. Hoare","year":"1985","unstructured":"Hoare, C.: Communicating Sequential Processes. Prentice-Hall International, Englewood Cliffs (1985)"},{"key":"8_CR15","series-title":"Lecture Notes in Computer Science","first-page":"132","volume-title":"CONCUR 2000 - Concurrency Theory","author":"M. Kwiatkowska","year":"2000","unstructured":"Kwiatkowska, M., Norman, G., Segala, R., Sproston, J.: Verifying quantitative properties of continuous probabilistic real-time graphs. In: Palamidessi, C. (ed.) CONCUR 2000. LNCS, vol.\u00a01877, pp. 132\u2013137. Springer, Heidelberg (2000)"},{"issue":"1","key":"8_CR16","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(91)90030-6","volume":"94","author":"K. Larsen","year":"1991","unstructured":"Larsen, K., Skou, A.: Bisimulation through probabilistic testing. Information and Computation\u00a094(1), 1\u201328 (1991)","journal-title":"Information and Computation"},{"key":"8_CR17","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall International, Englewood Cliffs (1989)"},{"issue":"2","key":"8_CR18","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1016\/S0304-3975(00)00096-7","volume":"253","author":"P. Panangaden","year":"2001","unstructured":"Panangaden, P.: Measure and probability for concurrency theorists. Theoretical Comput. Sci.\u00a0253(2), 287\u2013309 (2001)","journal-title":"Theoretical Comput. Sci."},{"key":"8_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1007\/3-540-44618-4_25","volume-title":"CONCUR 2000 - Concurrency Theory","author":"A. Philippou","year":"2000","unstructured":"Philippou, A., Lee, I., Sokolsky, O.: Weak bisimulation for probabilistic systems. In: Palamidessi, C. (ed.) CONCUR 2000. LNCS, vol.\u00a01877, pp. 334\u2013349. Springer, Heidelberg (2000)"},{"key":"8_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1007\/3-540-60218-6_17","volume-title":"CONCUR \u201995 Concurrency Theory","author":"R. Segala","year":"1995","unstructured":"Segala, R.: A compositional trace-based semantics for probabilistic automata. In: Lee, I., Smolka, S.A. (eds.) CONCUR 1995. LNCS, vol.\u00a0962, pp. 234\u2013248. Springer, Heidelberg (1995)"},{"key":"#cr-split#-8_CR21.1","unstructured":"Segala, R.: Modeling and Verification of Randomized Distributed Real-Time Systems. PhD thesis, MIT, Dept. of Electrical Engineering and Computer Science (1995);"},{"key":"#cr-split#-8_CR21.2","unstructured":"Also appears as technical report MIT\/LCS\/TR-676"},{"issue":"2","key":"8_CR22","first-page":"250","volume":"2","author":"R. Segala","year":"1995","unstructured":"Segala, R., Lynch, N.: Probabilistic simulations for probabilistic processes. Nordic Journal of Computing\u00a02(2), 250\u2013273 (1995)","journal-title":"Nordic Journal of Computing"},{"key":"8_CR23","unstructured":"Stoelinga, M.: Alea jacta est: verification of probabilistic, real-time and parametric systems. PhD thesis, University of Nijmegen, The Netherlands (April 2002)"},{"issue":"1-2","key":"8_CR24","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0304-3975(97)00056-X","volume":"176","author":"S. Wu","year":"1999","unstructured":"Wu, S., Smolka, S., Stark, E.: Composition and behaviors of probabilistic I\/O automata. Theoretical Comput. Sci.\u00a0176(1-2), 1\u201338 (1999)","journal-title":"Theoretical Comput. Sci."}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Science and Computational Structures"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-31982-5_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,18]],"date-time":"2020-11-18T23:32:59Z","timestamp":1605742379000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-31982-5_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540253884","9783540319825"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-31982-5_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}