Causality & Control Flow.

Robert Künnemann Deepak Garg Michael Backes

Published in: CREST@ETAPS (2019)

Keyphrases

control flow
data flow
process model
software testing
causal relations
causal models
business process models
transition systems
reactive systems
workflow management systems
formal semantics
causal reasoning
causal relationships
life cycle
multi agent
memory hierarchy
decision trees
databases