paper.pdf (370.55 kB)
Download file

(De-)composing causality in labeled transition systems

Download (370.55 kB)
journal contribution
posted on 23.04.2018, 10:23 by Georgiana Caltais, Stefan Leue, Mohammad Reza Mousavi
In this paper we introduce a notion of counterfactual causality in the Halpern and Pearl sense that is compositional with respect to the interleaving of transition systems. The formal framework for reasoning on what caused the violation of a safety property is established in the context of labeled transition systems and Hennessy Milner logic. The compositionality results are devised for non-communicating systems.

Funding

The work of Georgiana Caltais was partially supported by an Independent Research Start-up Grant founded by Zukunftskolleg at Konstanz University. The work of Mohammad Reza Mousavi has been partially supported by the Swedish Research Council (Vetenskapsradet) award number: 621-2014-5057 (Effective Model-Based Testing of Concurrent Systems) and ˚ the Swedish Knowledge Foundation (Stiftelsen for Kunskaps- och Kompetensutveckling) in the context ¨ of the AUTO-CAAS HoG project (number: 20140312).

History

Citation

Electronic Proceedings in Theoretical Computer Science, EPTCS, 2016, 224, pp. 10-24

Author affiliation

/Organisation/COLLEGE OF SCIENCE AND ENGINEERING/Department of Computer Science

Version

VoR (Version of Record)

Published in

Electronic Proceedings in Theoretical Computer Science

Publisher

Open Publishing Association

issn

2075-2180

Copyright date

2016

Available date

23/04/2018

Publisher version

https://arxiv.org/abs/1608.07880

Language

en

Usage metrics

Categories

Keywords

Licence

Exports