@inproceedings{b5d7e87e024b454f80a7973a578134a1,
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",
year = "2011",
month = jul,
day = "11",
doi = "10.1007/978-3-642-22012-8\_30",
language = "English",
isbn = "9783642220111",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer-Verlag",
number = "PART 2",
pages = "380--391",
editor = "L. Aceto and M. Hezinger and J. Sgall",
booktitle = "Automata, Languages and Programming. ICALP 2011.",
edition = "PART 2",
note = "38th International Colloquium on Automata, Languages and Programming, ICALP 2011 ; Conference date: 04-07-2011 Through 08-07-2011",
}