English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
Add to Basket
 Local TagsRelease HistoryDetailsSummary
  Causality & Control Flow

Künnemann, R., Garg, D., & Backes, M. (2019). Causality & Control Flow. Electronic Proceedings in Theoretical Computer Science, 308, 32-46. doi:10.4204/EPTCS.308.3.

Item is

 

show all hide all

Basic

show hide
Item Permalink: https://hdl.handle.net/21.11116/0000-0005-F27F-C Version Permalink: https://hdl.handle.net/21.11116/0000-0005-F280-8
Genre: Conference Paper

Files

show Files
hide Files
:
arXiv:1910.14219.pdf (Preprint), 216KB
View   Save
File Permalink:
https://hdl.handle.net/21.11116/0000-0005-F281-7
Name:
arXiv:1910.14219.pdf
Description:
File downloaded from arXiv at 2020-03-26 11:19
OA-Status:
Visibility:
Public
MIME-Type / Checksum:
application/pdf / [MD5]
Technical Metadata:
View
Copyright Date:
-
Copyright Info:
-
License:
http://arxiv.org/licenses/nonexclusive-distrib/1.0/

Locators

show

Creators

show
hide
 Creators:
Künnemann, Robert1, Author           
Garg, Deepak2, Author           
Backes, Michael1, Author           
Affiliations:
1CISPA Helmholtz Center for Information Security, ou_persistent22              
2Group D. Garg, Max Planck Institute for Software Systems, Max Planck Society, ou_2105289              

Content

show
hide
Free keywords: Computer Science, Logic in Computer Science, cs.LO
 Abstract: Causality has been the issue of philosophic debate since Hippocrates. It is
used in formal verification and testing, e.g., to explain counterexamples or
construct fault trees. Recent work defines actual causation in terms of Pearl's
causality framework, but most definitions brought forward so far struggle with
examples where one event preempts another one. A key point to capturing such
examples in the context of programs or distributed systems is a sound treatment
of control flow. We discuss how causal models should incorporate control flow
and discover that much of what Pearl/Halpern's notion of contingencies tries to
capture is captured better by an explicit modelling of the control flow in
terms of structural equations and an arguably simpler definition. Inspired by
causality notions in the security domain, we bring forward a definition of
causality that takes these control-variables into account. This definition
provides a clear picture of the interaction between control flow and causality
and captures these notoriously difficult preemption examples without secondary
concepts. We give convincing results on a benchmark of 34 examples from the
literature.

Details

show
hide
Language(s): eng - English
 Dates: 2019-10-302019
 Publication Status: Published online
 Pages: In Proceedings CREST 2019, arXiv:1910.13641
 Publishing info: -
 Table of Contents: -
 Rev. Type: -
 Identifiers: arXiv: 1910.14219
DOI: 10.4204/EPTCS.308.3
URI: http://arxiv.org/abs/1910.14219
BibTex Citekey: Kuennemann_CREST2019
 Degree: -

Event

show
hide
Title: 4th Workshop on Formal Reasoning about Causation, Responsibility, and Explanations in Science and Technology
Place of Event: Prague, Czech Republic
Start-/End Date: 2019-04-06 - 2019-04-11

Legal Case

show

Project information

show

Source 1

show
hide
Title: Electronic Proceedings in Theoretical Computer Science
  Abbreviation : EPTCS
Source Genre: Journal
 Creator(s):
Affiliations:
Publ. Info: -
Pages: - Volume / Issue: 308 Sequence Number: - Start / End Page: 32 - 46 Identifier: -

Source 2

show
hide
Title: Proceedings of the 4th Workshop on Formal Reasoning about Causation, Responsibility, and Explanations in Science and Technology
  Abbreviation : CREST 2019
  Other : CREST@ETAPS 2019
Source Genre: Proceedings
 Creator(s):
Caltais, Georgiana1, Editor
Krivine, Jean1, Editor
Affiliations:
1 External Organizations, ou_persistent22            
Publ. Info: -
Pages: - Volume / Issue: - Sequence Number: - Start / End Page: - Identifier: -