University of Leicester
Browse

(De-)composing causality in labeled transition systems

Download (370.55 kB)
journal contribution
posted on 2018-04-23, 10:23 authored 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

2018-04-23

Publisher DOI

Publisher version

https://arxiv.org/abs/1608.07880

Language

en

Administrator link

Usage metrics

    University of Leicester Publications

    Categories

    No categories selected

    Keywords

    IR content

    Licence

    CC BY 4.0

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC