(De-)Composing Causality in Labeled Transition Systems

Georgiana Caltais
(Department for Computer and Information Science, University of Konstanz, Germany)
Stefan Leue
(Department for Computer and Information Science, University of Konstanz, Germany)
Mohammad Reza Mousavi
(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.

In Gregor Gössler and Oleg Sokolsky: Proceedings First Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies (CREST 2016), Eindhoven, The Netherlands, 8th April 2016, Electronic Proceedings in Theoretical Computer Science 224, pp. 10–24.
Published: 26th August 2016.

ArXived at: http://dx.doi.org/10.4204/EPTCS.224.3 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org