{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:09:21Z","timestamp":1763467761116},"publisher-location":"Berlin, Heidelberg","reference-count":40,"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_5","type":"book-chapter","created":{"date-parts":[[2006,8,2]],"date-time":"2006-08-02T19:59:29Z","timestamp":1154548769000},"page":"64-78","source":"Crossref","is-referenced-by-count":24,"title":["Probability and Nondeterminism in Operational Models of Concurrency"],"prefix":"10.1007","author":[{"given":"Roberto","family":"Segala","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"5_CR1","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1023\/A:1008739929481","volume":"15","author":"R. Alur","year":"1999","unstructured":"Alur, R., Henzinger, T.: Reactive modules. Formal Methods in System Design\u00a015(1), 7\u201348 (1999)","journal-title":"Formal Methods in System Design"},{"issue":"3","key":"5_CR2","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1016\/j.tcs.2006.02.010","volume":"356","author":"S. Andova","year":"2006","unstructured":"Andova, S., Willemse, T.: Branching bisimulation for probabilistic systems: characteristics and decidability. Theoretical Computer Science\u00a0356(3), 325\u2013355 (2006)","journal-title":"Theoretical Computer Science"},{"key":"5_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"492","DOI":"10.1007\/978-3-540-45187-7_32","volume-title":"CONCUR 2003 - Concurrency Theory","author":"C. Baier","year":"2003","unstructured":"Baier, C., Hermanns, H., Katoen, J.-P., Wolf, V.: Comparative branching-time semantics for markov chains. In: Amadio, R., Lugiez, D. (eds.) CONCUR 2003. LNCS, vol.\u00a02761, pp. 492\u2013507. Springer, Heidelberg (2003)"},{"key":"5_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-46432-8_1","volume-title":"Foundation of Software Science and Computation Structures","author":"C. Baier","year":"2000","unstructured":"Baier, C., Stoelinga, M.: Norm Functions for Probabilistic Bisimulations with Delays. In: Tiuryn, J. (ed.) FOSSACS 2000. LNCS, vol.\u00a01784, p. 1. Springer, Heidelberg (2000)"},{"issue":"1-2","key":"5_CR5","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.tcs.2004.07.019","volume":"327","author":"F. Bartels","year":"2004","unstructured":"Bartels, F., Sokolova, A., de Vink, E.: A hierarchy of probabilistic system types. Theoretical Computer Science\u00a0327(1-2), 3\u201322 (2004)","journal-title":"Theoretical Computer Science"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"Bernardo, M., Gorrieri, R.: Extended markovian process algebra. In: [29]","DOI":"10.1007\/3-540-61604-7_63"},{"key":"5_CR7","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.R.: 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":"5_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1007\/3-540-45694-5_25","volume-title":"CONCUR 2002 - Concurrency Theory","author":"S. Cattani","year":"2002","unstructured":"Cattani, S., Segala, R.: Decision algorithms for probabilistic bisimulation. In: Brim, L., Jan\u010dar, P., K\u0159et\u00ednsk\u00fd, M., Kucera, A. (eds.) CONCUR 2002. LNCS, vol.\u00a02421, pp. 371\u2013385. Springer, Heidelberg (2002)"},{"key":"5_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/978-3-540-31982-5_8","volume-title":"Foundations of Software Science and Computational Structures","author":"S. Cattani","year":"2005","unstructured":"Cattani, S., Segala, R., Kwiatkowska, M., Norman, G.: Stochastic Transition Systems for Continuous State Spaces and Non-determinism. In: Sassone, V. (ed.) FOSSACS 2005. LNCS, vol.\u00a03441, pp. 125\u2013139. Springer, Heidelberg (2005)"},{"key":"5_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"494","DOI":"10.1007\/978-3-540-31862-0_35","volume-title":"Theoretical Aspects of Computing - ICTAC 2004","author":"L. Cheung","year":"2005","unstructured":"Cheung, L., Lynch, N., Segala, R., Vaandrager, F.: Switched Probabilistic I\/O Automata. In: Liu, Z., Araki, K. (eds.) ICTAC 2004. LNCS, vol.\u00a03407, pp. 494\u2013510. Springer, Heidelberg (2005)"},{"key":"5_CR11","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1017\/S0960129505005074","volume":"16","author":"V. Daniele","year":"2006","unstructured":"Daniele, V., Winskel, G.: Distributing probability over non-determinism. Mathematical Structures in Computer Science\u00a016, 87\u2013113 (2006)","journal-title":"Mathematical Structures in Computer Science"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"D\u2019Argenio, P., Hermanns, H., Katoen, J.P.: On generative parallel composition. In: Proceedings of PROBMIV 1998. ENTCS, vol.\u00a022 (1999)","DOI":"10.1016\/S1571-0661(05)80596-1"},{"key":"5_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1007\/3-540-44685-0_24","volume-title":"CONCUR 2001 - Concurrency Theory","author":"L. de Alfaro","year":"2001","unstructured":"de Alfaro, L., Henzinger, T.A., Jhala, R.: Compositional Methods for Probabilistic Systems. In: Larsen, K.G., Nielsen, M. (eds.) CONCUR 2001. LNCS, vol.\u00a02154, p. 351. Springer, Heidelberg (2001)"},{"key":"5_CR14","unstructured":"Deng, Y.: Axiomatisations and types for probabilistic and mobile processes. PhD thesis, Ecole de Mines (2005)"},{"key":"5_CR15","volume-title":"Finite State Markovian Decision Processes","author":"C. Derman","year":"1970","unstructured":"Derman, C.: Finite State Markovian Decision Processes. Academic Press, London (1970)"},{"key":"5_CR16","unstructured":"Desharnais, J.: Labelled Markov Processes. PhD thesis, McGill University (1999)"},{"key":"5_CR17","unstructured":"Desharnais, J., Edalat, A., Panangaden, P.: A logical characterization of bisimulation for labelled Markov processes. In: Proceedings of LICS (1998)"},{"issue":"2","key":"5_CR18","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"},{"issue":"1","key":"5_CR19","first-page":"59","volume":"12","author":"R. Glabbeek van","year":"1996","unstructured":"van Glabbeek, R., Smolka, S., Steffen, B.: Reactive, generative, and stratified models of probabilistic processes. Information and Computation\u00a012(1), 59\u201380 (1996)","journal-title":"Information and Computation"},{"key":"5_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/BFb0013851","volume-title":"Performance Evaluation of Computer and Communication Systems","author":"N. G\u00f6tz","year":"1993","unstructured":"G\u00f6tz, N., Herzog, U., Rettelbach, M.: Multiprocessor and distributed system design: the integration of functional specification and performance analysis using stochastic process algebras. In: Donatiello, L., Nelson, R. (eds.) SIGMETRICS 1993 and Performance 1993. LNCS, vol.\u00a0729, pp. 121\u2013146. Springer, Heidelberg (1993)"},{"key":"5_CR21","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":"5_CR22","doi-asserted-by":"crossref","unstructured":"Hansson, H., Jonsson, B.: A calculus for communicating systems with time and probabilities. In: Proceedings of RTSS (1990)","DOI":"10.1109\/REAL.1990.128759"},{"key":"5_CR23","series-title":"Lecture Notes in Computer Science","first-page":"2002","volume-title":"Interactive Markov Chains: The Quest for Quantified Quality","author":"H. Hermanns","year":"2002","unstructured":"Hermanns, H.: Interactive Markov Chains. LNCS, vol.\u00a02428, p. 2002. Springer, Heidelberg (2002)"},{"key":"5_CR24","unstructured":"Hillston, J.: A Compositional Approach to Performance Modeling. PhD thesis, Department of Computer Science, University of Edimburgh (UK) (1994)"},{"key":"5_CR25","doi-asserted-by":"crossref","unstructured":"Jonsson, B., Larsen, K.G.: Specification and refinement of probabilistic processes. In: Proceedings of LICS, pp. 266\u2013277 (July 1991)","DOI":"10.1109\/LICS.1991.151651"},{"issue":"1","key":"5_CR26","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0890-5401(89)90066-7","volume":"82","author":"N.A. Lynch","year":"1989","unstructured":"Lynch, N.A., Stark, E.W.: A proof of the Kahn principle for Input\/Output automata. Information and Computation\u00a082(1), 81\u201392 (1989)","journal-title":"Information and Computation"},{"key":"5_CR27","doi-asserted-by":"crossref","unstructured":"Lynch, N.A., Tuttle, M.R.: Hierarchical correctness proofs for distributed algorithms. In: Proceedings of PoDC, pp. 137\u2013151 (1987)","DOI":"10.1145\/41840.41852"},{"key":"5_CR28","volume-title":"Abstraction, refinement, and proof for probabilistic systems","author":"A. McIver","year":"2005","unstructured":"McIver, A., Morgan, C.: Abstraction, refinement, and proof for probabilistic systems. Springer, Heidelberg (2005)"},{"key":"5_CR29","series-title":"Lecture Notes in Computer Science","volume-title":"Proceedings of CONCUR.","year":"1996","unstructured":"Montanari, U., Sassone, V. (eds.): Proceedings of CONCUR 1996. LNCS, vol.\u00a01119. Springer, Heidelberg (1996)"},{"issue":"2","key":"5_CR30","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 Computer Science\u00a0253(2), 287\u2013309 (2001)","journal-title":"Theoretical Computer Science"},{"key":"5_CR31","doi-asserted-by":"crossref","unstructured":"Parma, A., Segala, R.: Axiomatization of trace semantics for stochastic nondeterministic processes. In: Proceedings of QEST, pp. 294\u2013303 (2004)","DOI":"10.1109\/QEST.2004.1348043"},{"key":"5_CR32","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\u2013339. Springer, Heidelberg (2000)"},{"key":"5_CR33","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/PL00008917","volume":"13","author":"A. Pogosyants","year":"2000","unstructured":"Pogosyants, A., Segala, R., Lynch, N.: Verification of the randomized consensus algorithm of Aspnes and Herlihy: a case study. Distrib. Comp.\u00a013, 155\u2013186 (2000)","journal-title":"Distrib. Comp."},{"key":"5_CR34","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1016\/S0019-9958(63)90290-0","volume":"6","author":"M.O. Rabin","year":"1963","unstructured":"Rabin, M.O.: Probabilistic automata. Information and Control\u00a06, 230\u2013245 (1963)","journal-title":"Information and Control"},{"key":"5_CR35","unstructured":"Segala, R.: Modeling and Verification of Randomized Distributed Real-Time Systems. PhD thesis. MIT Press (1995)"},{"issue":"2","key":"5_CR36","first-page":"250","volume":"2","author":"R. Segala","year":"1995","unstructured":"Segala, R., Lynch, N.A.: Probabilistic simulations for probabilistic processes. Nordic Journal of Computing\u00a02(2), 250\u2013273 (1995)","journal-title":"Nordic Journal of Computing"},{"key":"5_CR37","doi-asserted-by":"crossref","unstructured":"Segala, R., Turrini, A.: Comparative analysis of bisimulation relations on alternating and non-alternating probabilistic models. In: Proceedings of QEST (2005)","DOI":"10.1109\/QEST.2005.9"},{"key":"5_CR38","first-page":"1","volume":"129","author":"R. Tix","year":"2005","unstructured":"Tix, R., Keimel, K., Plotkin, G.: Semantic domains for combining probability and non-determinism. ENTCS\u00a0129, 1\u2013104 (2005)","journal-title":"ENTCS"},{"key":"5_CR39","doi-asserted-by":"crossref","unstructured":"Vardi, M.Y.: Automatic verification of probabilistic concurrent finite-state programs. In: Proceedings of FoCS, pp. 327\u2013338 (1985)","DOI":"10.1109\/SFCS.1985.12"},{"issue":"1-2","key":"5_CR40","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0304-3975(97)00056-X","volume":"176","author":"S.H. Wu","year":"1999","unstructured":"Wu, S.H., Smolka, S., Stark, E.W.: Composition and behaviors of probabilistic I\/O automata. Theoretical Computer Science\u00a0176(1-2), 1\u201338 (1999)","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_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,8]],"date-time":"2023-05-08T11:25:49Z","timestamp":1683545149000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11817949_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540373766","9783540373773"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/11817949_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}