Continuous Markovian Logic - From Complete Axiomatization to the Metric Space of Formulas

Original language	English
Title of host publication	CSL Computer Science Logic : 25th International Workshop / 20th Annual Conference of the EACSL, CSL 2011, September 12-15, 2011, Bergen, Norway, Proceedings
Number of pages	15
Volume	12
Publisher	Schloss Dagstuhl. Leibniz-Zentrum für Informatik
Publication date	2011
Pages	144-158
ISBN (Print)	978-3-939897-32-3
ISBN (Electronic)	978-3-939897-32-3, Marc Bezem
DOIs	https://doi.org/10.4230/LIPIcs.CSL.2011.144
Publication status	Published - 2011

Access to Document

• 10.4230/LIPIcs.CSL.2011.144

• http://drops.dagstuhl.de/opus/volltexte/2011/3228/pdf/15.pdf

AUB Link

Search for the material in Aalborg University Library's search engine

Projects

• 1 Finished

Projects per year

• Modular Markovian Logics for Analysis of Stochastic Concurrent Systems

  Mardare, R.

  01/10/2010 → 30/09/2012

  Project: Research

  • Markov Process 100%
  • Metatheory 66%
  • Concurrent System 66%
  • Concurrency 66%
  • Congressional Report 66%

Cite this

• APA
• Author
• BIBTEX
• Harvard
• Standard
• RIS
• Vancouver

Cardelli, L., Larsen, K. G., & Mardare, R. (2011). Continuous Markovian Logic - From Complete Axiomatization to the Metric Space of Formulas. In CSL Computer Science Logic: 25th International Workshop / 20th Annual Conference of the EACSL, CSL 2011, September 12-15, 2011, Bergen, Norway, Proceedings (Vol. 12, pp. 144-158). Schloss Dagstuhl. Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CSL.2011.144

Cardelli, Luca ; Larsen, Kim Guldstrand ; Mardare, Radu. / Continuous Markovian Logic - From Complete Axiomatization to the Metric Space of Formulas. CSL Computer Science Logic: 25th International Workshop / 20th Annual Conference of the EACSL, CSL 2011, September 12-15, 2011, Bergen, Norway, Proceedings. Vol. 12 Schloss Dagstuhl. Leibniz-Zentrum für Informatik, 2011. pp. 144-158

@inproceedings{d5561cdd34ef4fea939e5a293b3510a3,

title = "Continuous Markovian Logic - From Complete Axiomatization to the Metric Space of Formulas",

author = "Luca Cardelli and Larsen, {Kim Guldstrand} and Radu Mardare",

year = "2011",

doi = "10.4230/LIPIcs.CSL.2011.144",

language = "English",

isbn = "978-3-939897-32-3",

volume = "12",

pages = "144--158",

booktitle = "CSL Computer Science Logic",

publisher = "Schloss Dagstuhl. Leibniz-Zentrum f{\"u}r Informatik",

}

Cardelli, L, Larsen, KG & Mardare, R 2011, Continuous Markovian Logic - From Complete Axiomatization to the Metric Space of Formulas. in CSL Computer Science Logic: 25th International Workshop / 20th Annual Conference of the EACSL, CSL 2011, September 12-15, 2011, Bergen, Norway, Proceedings. vol. 12, Schloss Dagstuhl. Leibniz-Zentrum für Informatik, pp. 144-158. https://doi.org/10.4230/LIPIcs.CSL.2011.144

Continuous Markovian Logic - From Complete Axiomatization to the Metric Space of Formulas. / Cardelli, Luca; Larsen, Kim Guldstrand; Mardare, Radu.
CSL Computer Science Logic: 25th International Workshop / 20th Annual Conference of the EACSL, CSL 2011, September 12-15, 2011, Bergen, Norway, Proceedings. Vol. 12 Schloss Dagstuhl. Leibniz-Zentrum für Informatik, 2011. p. 144-158.

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

TY - GEN

T1 - Continuous Markovian Logic - From Complete Axiomatization to the Metric Space of Formulas

AU - Cardelli, Luca

AU - Larsen, Kim Guldstrand

AU - Mardare, Radu

PY - 2011

Y1 - 2011

U2 - 10.4230/LIPIcs.CSL.2011.144

DO - 10.4230/LIPIcs.CSL.2011.144

M3 - Article in proceeding

SN - 978-3-939897-32-3

VL - 12

SP - 144

EP - 158

BT - CSL Computer Science Logic

PB - Schloss Dagstuhl. Leibniz-Zentrum für Informatik

ER -

Cardelli L, Larsen KG, Mardare R. Continuous Markovian Logic - From Complete Axiomatization to the Metric Space of Formulas. In CSL Computer Science Logic: 25th International Workshop / 20th Annual Conference of the EACSL, CSL 2011, September 12-15, 2011, Bergen, Norway, Proceedings. Vol. 12. Schloss Dagstuhl. Leibniz-Zentrum für Informatik. 2011. p. 144-158 doi: 10.4230/LIPIcs.CSL.2011.144