Projekter pr. år
Abstract
In this paper we propose a complete axiomatization of the bisimilarity distance of Desharnais et al. for the class of finite labelled Markov chains. Our axiomatization is given in the style of a quantitative extension of equational logic recently proposed by Mardare, Panangaden, and Plotkin (LICS'16) that uses equality relations t =_e s indexed by rationals, expressing that "t is approximately equal to s up to an error e". Notably, our quantitative deductive system extends in a natural way the equational system for probabilistic bisimilarity given by Stark and Smolka by introducing an axiom for dealing with the Kantorovich distance between probability distributions.
Originalsprog | Engelsk |
---|---|
Titel | 27th International Conference on Concurrency Theory (CONCUR 2016) |
Antal sider | 14 |
Forlag | Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH |
Publikationsdato | 2016 |
Sider | 21:1--21:14 |
ISBN (Trykt) | 978-3-95977-017-0 |
DOI | |
Status | Udgivet - 2016 |
Begivenhed | 27th International Conference on Concurrency Theory - Université Laval, Québec City, Canada Varighed: 23 aug. 2016 → 26 aug. 2016 Konferencens nummer: 27 http://www.concur2016.ulaval.ca/no_cache/home/ |
Konference
Konference | 27th International Conference on Concurrency Theory |
---|---|
Nummer | 27 |
Lokation | Université Laval |
Land/Område | Canada |
By | Québec City |
Periode | 23/08/2016 → 26/08/2016 |
Internetadresse |
Navn | Leibniz International Proceedings in Informatics |
---|---|
Vol/bind | 59 |
ISSN | 1868-8969 |
Fingeraftryk
Dyk ned i forskningsemnerne om 'Complete Axiomatization for the Bisimilarity Distance on Markov Chains'. Sammen danner de et unikt fingeraftryk.Projekter
- 4 Afsluttet
-
Approximate Reasoning for Stochastic Markovian Systems
Mardare, R. (PI (principal investigator)) & Larsen, K. G. (PI (principal investigator))
01/11/2015 → 31/10/2019
Projekter: Projekt › Forskning
-
CASSTING: Collective Adaptive System SynThesIs using Non-zero-sum Games
Larsen, K. G. (Projektleder), Skou, A. (Projektdeltager), David, A. (Projektdeltager) & Srba, J. (Projektdeltager)
01/04/2013 → 31/03/2016
Projekter: Projekt › Forskning
-
SENSATION: Self Energy-Supporting Autonomous Computation
Larsen, K. G. (Projektleder), Hansen, R. R. (Projektdeltager), Koch, P. (Projektdeltager), Nielsen, B. (Projektdeltager) & Skou, A. (Projektdeltager)
01/10/2012 → 30/09/2015
Projekter: Projekt › Forskning