{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,24]],"date-time":"2025-07-24T11:16:54Z","timestamp":1753355814392,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642198045"},{"type":"electronic","value":"9783642198052"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-19805-2_20","type":"book-chapter","created":{"date-parts":[[2011,3,14]],"date-time":"2011-03-14T09:05:14Z","timestamp":1300093514000},"page":"290-304","source":"Crossref","is-referenced-by-count":5,"title":["Probabilistic Modal \u03bc-Calculus with Independent Product"],"prefix":"10.1007","author":[{"given":"Matteo","family":"Mio","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"20_CR1","doi-asserted-by":"crossref","unstructured":"Bertrand, N., Genest, B., Gimbert, H.: Qualitative determinacy and decidability of stochastic games with signals. In: LICS 2009, IEEE Symposium on Logic in Computer Science, Los Angeles, USA (2009)","DOI":"10.1109\/LICS.2009.31"},{"key":"20_CR2","doi-asserted-by":"crossref","unstructured":"Blackwell, D.: Infinite G\u03b4 games with imperfect information. Matematyki Applicationes Mathematicae, Hugo Steinhaus Jubilee Volume (1969)","DOI":"10.4064\/am-10-1-99-101"},{"key":"20_CR3","unstructured":"Br\u00e1zdil, T., Brozek, V., \u00edn Kucera, A., Obdrz\u00e1lek, J.: Qualitative reachability in stochastic BPA games. In: STACS, pp. 207\u2013218 (2009)"},{"key":"20_CR4","doi-asserted-by":"crossref","unstructured":"Br\u00e1zdil, T., Brozek, V., Forejt, V., Kucera, A.: Stochastic games with branching-time winning objectives. In: LICS, pp. 349\u2013358 (2006)","DOI":"10.1109\/LICS.2006.48"},{"key":"20_CR5","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1016\/j.jcss.2003.07.009","volume":"68","author":"L. de Alfaro","year":"2004","unstructured":"de Alfaro, L., Majumdar, R.: Quantitative solution of omega-regular games. Journal of Computer and System Sciences\u00a068, 374\u2013397 (2004)","journal-title":"Journal of Computer and System Sciences"},{"key":"20_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1007\/978-3-642-16242-8_20","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"Y. Deng","year":"2010","unstructured":"Deng, Y., van Glabbeek, R.: Characterising probabilistic processes logically. In: Ferm\u00fcller, C.G., Voronkov, A. (eds.) LPAR-17. LNCS, vol.\u00a06397, pp. 278\u2013293. Springer, Heidelberg (2010)"},{"key":"20_CR7","volume-title":"Theory of Computing Systems","author":"D. Fischer","year":"2009","unstructured":"Fischer, D., Gradel, E., Kaiser, L.: Model checking games for the quantitative \u03bc-calculus. In: Theory of Computing Systems. Springer, New York (2009)"},{"issue":"5","key":"20_CR8","doi-asserted-by":"publisher","first-page":"512","DOI":"10.1007\/BF01211866","volume":"6","author":"Hans Hansson","year":"1994","unstructured":"Hansson, H., Jonsson, B.: A logic for reasoning about time and reliability. Formal Aspects of Computing 6 (1994)","journal-title":"Formal Aspects of Computing"},{"key":"20_CR9","first-page":"111","volume-title":"LICS 1997","author":"M. Huth","year":"1997","unstructured":"Huth, M., Kwiatkowska, M.: Quantitative analysis and model checking. In: LICS 1997, Washington, DC, USA, p. 111. IEEE Computer Society, Los Alamitos (1997)"},{"issue":"3","key":"20_CR10","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1016\/0304-3975(82)90125-6","volume":"27","author":"Dexter Kozen","year":"1983","unstructured":"Kozen, D.: Results on the propositional mu-calculus. Theoretical Computer Science, 333\u2013354 (1983)","journal-title":"Theoretical Computer Science"},{"key":"20_CR11","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1016\/0003-4843(70)90009-4","volume":"2","author":"D.A. Martin","year":"1970","unstructured":"Martin, D.A., Solovay, R.M.: Internal Cohen extensions. Ann. Math. Logic\u00a02, 143\u2013178 (1970)","journal-title":"Ann. Math. Logic"},{"issue":"1","key":"20_CR12","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1145\/1182613.1182616","volume":"8","author":"A. McIver","year":"2007","unstructured":"McIver, A., Morgan, C.: Results on the quantitative \u03bc-calculus qM\u03bc. ACM Trans. Comput. Logic\u00a08(1), 3 (2007)","journal-title":"ACM Trans. Comput. Logic"},{"key":"20_CR13","unstructured":"Mio, M.: The equivalence of denotational and game semantics for the probabilistic \u03bc-calculus. In: 7th Workshop on Fixed Points in Computer Science (2010)"},{"key":"20_CR14","volume-title":"Proc. Formal Methods","author":"C. Morgan","year":"1997","unstructured":"Morgan, C., McIver, A.: A probabilistic temporal calculus based on expectations. In: Groves, L., Reeves, S. (eds.) Proc. Formal Methods. Springer, Heidelberg (1997)"},{"key":"20_CR15","unstructured":"Segala, R.: Modeling and Verification of Randomized Distributed Real-Time Systems. PhD thesis, Laboratory for Computer Science, M.I.T. (1995)"},{"key":"20_CR16","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-3550-5","volume-title":"Modal and temporal logics for processes","author":"C. Stirling","year":"2001","unstructured":"Stirling, C.: Modal and temporal logics for processes. Springer, Heidelberg (2001)"}],"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-642-19805-2_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,9]],"date-time":"2019-06-09T03:13:46Z","timestamp":1560050026000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-19805-2_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642198045","9783642198052"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-19805-2_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}