(De-)Composing Causality in Labeled Transition Systems
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 t...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Open Publishing Association
2016-08-01
|
| Series: | Electronic Proceedings in Theoretical Computer Science |
| Online Access: | http://arxiv.org/pdf/1608.07880v1 |
| _version_ | 1818064752461479936 |
|---|---|
| author | Georgiana Caltais Stefan Leue Mohammad Reza Mousavi |
| author_facet | Georgiana Caltais Stefan Leue Mohammad Reza Mousavi |
| author_sort | Georgiana Caltais |
| collection | DOAJ |
| description | 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. |
| first_indexed | 2024-12-10T14:40:59Z |
| format | Article |
| id | doaj.art-229e2c3524b74e8fb221231034b4c354 |
| institution | Directory Open Access Journal |
| issn | 2075-2180 |
| language | English |
| last_indexed | 2024-12-10T14:40:59Z |
| publishDate | 2016-08-01 |
| publisher | Open Publishing Association |
| record_format | Article |
| series | Electronic Proceedings in Theoretical Computer Science |
| spelling | doaj.art-229e2c3524b74e8fb221231034b4c3542022-12-22T01:44:41ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802016-08-01224Proc. CREST 2016102410.4204/EPTCS.224.3:5(De-)Composing Causality in Labeled Transition SystemsGeorgiana Caltais0Stefan Leue1Mohammad Reza Mousavi2 Department for Computer and Information Science, University of Konstanz, Germany Department for Computer and Information Science, University of Konstanz, Germany Centre for Research on Embedded Systems, Halmstad University, Sweden 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.http://arxiv.org/pdf/1608.07880v1 |
| spellingShingle | Georgiana Caltais Stefan Leue Mohammad Reza Mousavi (De-)Composing Causality in Labeled Transition Systems Electronic Proceedings in Theoretical Computer Science |
| title | (De-)Composing Causality in Labeled Transition Systems |
| title_full | (De-)Composing Causality in Labeled Transition Systems |
| title_fullStr | (De-)Composing Causality in Labeled Transition Systems |
| title_full_unstemmed | (De-)Composing Causality in Labeled Transition Systems |
| title_short | (De-)Composing Causality in Labeled Transition Systems |
| title_sort | de composing causality in labeled transition systems |
| url | http://arxiv.org/pdf/1608.07880v1 |
| work_keys_str_mv | AT georgianacaltais decomposingcausalityinlabeledtransitionsystems AT stefanleue decomposingcausalityinlabeledtransitionsystems AT mohammadrezamousavi decomposingcausalityinlabeledtransitionsystems |