hh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
(De-)Composing Causality in Labeled Transition Systems
University of Konstanz, Konstanz, Germany.
University of Konstanz, Konstanz, Germany.
Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).ORCID iD: 0000-0002-4869-6794
2016 (English)In: 1st Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies (CREST’16) / [ed] Gregor Gössler & Oleg Sokolsky, Open Publishing Association , 2016, Vol. 224, 10-24 p.Conference paper, (Refereed)
Abstract [en]

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.

Place, publisher, year, edition, pages
Open Publishing Association , 2016. Vol. 224, 10-24 p.
Series
Electronic Proceedings in Theoretical Computer Science, ISSN 2075-2180 ; 224
Keyword [en]
Causality, Labeled Transition Systems, Modal Logic, Hennessy Milner Logic, Modal Decomposition
National Category
Computer Science
Identifiers
URN: urn:nbn:se:hh:diva-32121DOI: 10.4204/EPTCS.224.3OAI: oai:DiVA.org:hh-32121DiVA: diva2:1010143
Conference
The 1st Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, Eindhoven, The Netherlands, April 8, 2016
Projects
VR Project EFFEMBAC, KKS Project AUTO-CAAS
Funder
ELLIIT - The Linköping‐Lund Initiative on IT and Mobile CommunicationsSwedish Research Council, 621-2014-5057Knowledge Foundation, 20140312
Note

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 (Vetenskapsrådet) award number: 621-2014-5057 (Effective Model-Based Testing of Concurrent Systems) and the Swedish Knowledge Foundation (Stiftelsen för Kunskaps- och Kompetensutveckling) in the context of the AUTO-CAAS HöG project (number: 20140312).

Available from: 2016-10-02 Created: 2016-10-02 Last updated: 2016-10-03Bibliographically approved

Open Access in DiVA

fulltext(712 kB)37 downloads
File information
File name FULLTEXT01.pdfFile size 712 kBChecksum SHA-512
b4c5e90e1a0ebb13b5475630324f138e6bdb78573cfbfcfdf61fc1d00e791eacbe30666a7d1e9d341cc22e750ada1b4f18ca855f971fe17770c29382c3607ae5
Type fulltextMimetype application/pdf

Other links

Publisher's full text

Search in DiVA

By author/editor
Mousavi, Mohammad Reza
By organisation
Centre for Research on Embedded Systems (CERES)
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 37 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 246 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf