@inproceedings{ccfa5712615a45ccb20a09236f8f2897,
title = "Modular Markovian logic",
abstract = "We introduce Modular Markovian Logic (MML) for compositional continuous-time and continuous-space Markov processes. MML combines operators specific to stochastic logics with operators reflecting the modular structure of the models, similar to those used by spatial and separation logics. We present a complete Hilbert-style axiomatization for MML, prove the small model property and analyze the relation between stochastic bisimulation and logical equivalence.",
keywords = "Markov process, Polish space, modular structure, axiomatic system, process algebra",
author = "Luca Cardelli and Larsen, \{Kim G.\} and Radu Mardare",
note = "38th International Colloquium on Automata, Languages and Programming, ICALP 2011",
year = "2011",
doi = "10.1007/978-3-642-22012-8\_30",
language = "English",
isbn = "9783642220111",
volume = "6756",
series = "Lecture Notes in Computer Science",
pages = "380--391",
editor = "Aceto, \{L. \} and M. Hezinger and J. Sgall",
booktitle = "Automata, Languages and Programming. ICALP 2011",
}