Modular Markovian logic

Research output: Contribution to journalConference article in JournalResearchpeer-review

10 Citations (Scopus)
Original languageEnglish
Book seriesLecture Notes in Computer Science
Volume6756 LNCS
Pages (from-to)380-391
Number of pages12
ISSN0302-9743
DOIs
Publication statusPublished - 1 Jan 2011
Event38th International Colloquium on Automata, Languages and Programming - Zurich, Switzerland
Duration: 4 Jul 20118 Jul 2011
Conference number: 38

Conference

Conference38th International Colloquium on Automata, Languages and Programming
Number38
CountrySwitzerland
CityZurich
Period04/07/201108/07/2011

Fingerprint

Logic
Markov processes
Separation Logic
Bisimulation
Axiomatization
Operator
Markov Process
Hilbert
Continuous Time
Equivalence
Model
Style

Cite this

@inproceedings{cd8208a6ad4145efb68c6b9b564ca270,
title = "Modular Markovian logic",
author = "L. Cardelli and Larsen, {Kim Guldstrand} and R. Mardare",
note = "Proceedings of the 38th International Colloquium on Automata, Languages and Programming. Aceto, L., Henzinger, M. & Sgall, J. (eds.)",
year = "2011",
month = "1",
day = "1",
doi = "10.1007/978-3-642-22012-8_30",
language = "English",
volume = "6756 LNCS",
pages = "380--391",
journal = "Lecture Notes in Computer Science",
issn = "0302-9743",
publisher = "Physica-Verlag",

}

Modular Markovian logic. / Cardelli, L.; Larsen, Kim Guldstrand; Mardare, R.

In: Lecture Notes in Computer Science, Vol. 6756 LNCS, 01.01.2011, p. 380-391.

Research output: Contribution to journalConference article in JournalResearchpeer-review

TY - GEN

T1 - Modular Markovian logic

AU - Cardelli, L.

AU - Larsen, Kim Guldstrand

AU - Mardare, R.

N1 - Proceedings of the 38th International Colloquium on Automata, Languages and Programming. Aceto, L., Henzinger, M. & Sgall, J. (eds.)

PY - 2011/1/1

Y1 - 2011/1/1

UR - http://www.scopus.com/inward/record.url?scp=79959927796&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-22012-8_30

DO - 10.1007/978-3-642-22012-8_30

M3 - Conference article in Journal

AN - SCOPUS:79959927796

VL - 6756 LNCS

SP - 380

EP - 391

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

SN - 0302-9743

ER -