{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:10:24Z","timestamp":1760202624400,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642220111"},{"type":"electronic","value":"9783642220128"}],"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-22012-8_30","type":"book-chapter","created":{"date-parts":[[2011,6,18]],"date-time":"2011-06-18T03:29:39Z","timestamp":1308367779000},"page":"380-391","source":"Crossref","is-referenced-by-count":7,"title":["Modular Markovian Logic"],"prefix":"10.1007","author":[{"given":"Luca","family":"Cardelli","sequence":"first","affiliation":[]},{"given":"Kim G.","family":"Larsen","sequence":"additional","affiliation":[]},{"given":"Radu","family":"Mardare","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"30_CR1","doi-asserted-by":"crossref","unstructured":"Aumann, R.: Interactive epistemology: Probability. Int. J. Game Theory\u00a028 (1999)","DOI":"10.1007\/s001820050112"},{"key":"30_CR2","unstructured":"Bergstra, J.A., Klop, J.W.: ACP: A Universal Axiom System for Process Specification. CWI Quarterly\u00a015 (1987)"},{"key":"30_CR3","volume-title":"Proc. of LICS 1997","author":"R. Blute","year":"1997","unstructured":"Blute, R., Desharnais, J., Edalat, A., Panangaden, P.: Bisimulation for labeled Markov processes. In: Proc. of LICS 1997. IEEE Press, Los Alamitos (1997)"},{"key":"30_CR4","doi-asserted-by":"crossref","unstructured":"Bravetti, M., Hermanns, H., Katoen, J.-P.: YMCA: Why Markov Chain Algebra? ENTCS\u00a0162 (2006)","DOI":"10.1016\/j.entcs.2005.12.108"},{"key":"30_CR5","doi-asserted-by":"crossref","unstructured":"Caires, L., Cardelli, L.: A Spatial Logic for Concurrency. Inf. and Comp.\u00a0186(2) (2003)","DOI":"10.1016\/S0890-5401(03)00137-8"},{"key":"30_CR6","doi-asserted-by":"crossref","unstructured":"Cardelli, L., Gordon, A.: Anytime, anywhere: Modal logics for mobile ambients. In: Proc. of POPL 2000 (2000)","DOI":"10.1145\/325694.325742"},{"key":"30_CR7","volume-title":"QEST 2010","author":"L. Cardelli","year":"2010","unstructured":"Cardelli, L., Mardare, R.: The Measurable Space of Stochastic Processes. In: QEST 2010. IEEE Press, Los Alamitos (2010)"},{"key":"30_CR8","unstructured":"Cardelli, L., Mardare, R.: Continuous Markovian Logic. Tech.Rep. TR-4-2010, The Microsoft Research-CoSBi Centre (2010)"},{"key":"30_CR9","doi-asserted-by":"crossref","unstructured":"Cirstea, C., Pattinson, D.: Modular proof systems for coalgebraic logics. TCS\u00a0388 (2007)","DOI":"10.1016\/j.tcs.2007.06.002"},{"key":"30_CR10","doi-asserted-by":"crossref","unstructured":"Doberkat, E.: Stochastic Relations. Foundations for Markov Transition Systems. Chapman and Hall\/CRC (2007)","DOI":"10.1201\/9781584889427"},{"key":"30_CR11","volume-title":"Proc of LICS 1998","author":"J. Desharnais","year":"1998","unstructured":"Desharnais, J., Edalat, A., Panangaden, P.: A logical characterization of bisimulation for labeled Markov processes. In: Proc of LICS 1998. IEEE Press, Los Alamitos (1998)"},{"key":"30_CR12","doi-asserted-by":"crossref","unstructured":"Desharnais, J., Edalat, A., Panangaden, P.: Bisimulation for labeled Markov Processes. Inf. and Comp.\u00a0179(2) (2002)","DOI":"10.1006\/inco.2001.2962"},{"key":"30_CR13","doi-asserted-by":"crossref","unstructured":"Desharnais, J., Panangaden, P.: Continous Stochastic Logic Characterizes Bisimulation of Continuous-time Markov Processes. JLAP\u00a056 (2003)","DOI":"10.1016\/S1567-8326(02)00068-1"},{"key":"30_CR14","doi-asserted-by":"crossref","unstructured":"Fagin, R., Halpern, J.: Reasoning about knowledge and probability. J. ACM\u00a041 (1994)","DOI":"10.1145\/174652.174658"},{"key":"30_CR15","doi-asserted-by":"crossref","unstructured":"Harsanyi, J.: Games with incomplete information played by bayesian players, part one. Management Sci.\u00a014 (1967)","DOI":"10.1287\/mnsc.14.3.159"},{"key":"30_CR16","volume-title":"Proc. LICS 2005","author":"J. Hillston","year":"2005","unstructured":"Hillston, J.: Process algebras for quantitative analysis. In: Proc. LICS 2005. IEEE Press, Los Alamitos (2005)"},{"key":"30_CR17","doi-asserted-by":"crossref","unstructured":"Heifetz, A., Mongin, P.: Probability Logic for Type Spaces. Games and Economic Behavior\u00a035 (2001)","DOI":"10.1006\/game.1999.0788"},{"key":"30_CR18","doi-asserted-by":"crossref","unstructured":"Hennessy, M., Milner, R.: Algebraic laws for nondeterminism and concurrency. JACM\u00a032 (1985)","DOI":"10.1145\/2455.2460"},{"key":"30_CR19","doi-asserted-by":"crossref","unstructured":"Hoare, C.A.R.: Communicating sequential processes. Communications of the ACM\u00a021(8) (1978)","DOI":"10.1145\/359576.359585"},{"key":"30_CR20","doi-asserted-by":"crossref","unstructured":"Httel, H., Larsen, K.G.: The Use of Static Constructs in A Modal Process Logic. Logic at Botik (1989)","DOI":"10.1007\/3-540-51237-3_14"},{"key":"30_CR21","doi-asserted-by":"crossref","unstructured":"Kozen, D.: Results on the Propositional Mu-Calculus. TCS\u00a027(3) (1983)","DOI":"10.1016\/0304-3975(82)90125-6"},{"key":"30_CR22","unstructured":"Kupke, C., Pattinson, D.: On Modal Logics of Linear Inequalities. In: Proc of AiML 2010 (2010)"},{"key":"30_CR23","doi-asserted-by":"crossref","unstructured":"Larsen, K.G., Skou, A.: Bisimulation through probabilistic testing. Inf. and Comp.\u00a094 (1991)","DOI":"10.1016\/0890-5401(91)90030-6"},{"key":"30_CR24","doi-asserted-by":"crossref","unstructured":"Mardare, R.: Decidability of Modular Logics for Concurrency. In: Proc. of PS 2011 (2011)","DOI":"10.1007\/978-3-642-29709-0_24"},{"key":"30_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"491","DOI":"10.1007\/978-3-540-85238-4_40","volume-title":"Mathematical Foundations of Computer Science 2008","author":"R. Mardare","year":"2008","unstructured":"Mardare, R., Policriti, A.: A Complete Axiomatic System for a Process-Based Spatial Logic. In: Ochma\u0144ski, E., Tyszkiewicz, J. (eds.) MFCS 2008. LNCS, vol.\u00a05162, pp. 491\u2013502. Springer, Heidelberg (2008)"},{"key":"30_CR26","doi-asserted-by":"crossref","unstructured":"Milner, R.: A calculus of communicating systems. Journal of the ACM (1980)","DOI":"10.1007\/3-540-10235-3"},{"key":"30_CR27","doi-asserted-by":"crossref","unstructured":"Moss, L.S., Viglizzo, I.D.: Harsanyi type spaces and final coalgebras constructed from satisfied theories. ENTCS\u00a0106 (2004)","DOI":"10.1016\/j.entcs.2004.02.036"},{"key":"30_CR28","doi-asserted-by":"publisher","DOI":"10.1142\/p595","volume-title":"Labelled Markov Processes","author":"P. Panangaden","year":"2009","unstructured":"Panangaden, P.: Labelled Markov Processes. Imperial College Press, London (2009)"},{"key":"30_CR29","doi-asserted-by":"crossref","unstructured":"Priami, C.: Stochastic \u03c0-Calculus. Computer Journal\u00a038(7) (1995)","DOI":"10.1093\/comjnl\/38.7.578"},{"key":"30_CR30","volume-title":"Proc. of LICS 2002","author":"J.C. Reynolds","year":"2002","unstructured":"Reynolds, J.C.: Separation Logic: A Logic for Shared Mutable Data Structures. In: Proc. of LICS 2002. IEEE Press, Los Alamitos (2002)"},{"key":"30_CR31","unstructured":"Zhou, C.: A complete deductive system for probability logic with application to Harsanyi type spaces, PhD thesis, Indiana University (2007)"}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-22012-8_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,11]],"date-time":"2019-06-11T20:07:09Z","timestamp":1560283629000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-22012-8_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642220111","9783642220128"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-22012-8_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}