ETAPS 2019 (series) / CREST 2019 (series) / 4th Workshop on Formal Reasoning about Causation, Responsibility, & Explanations in Science & Technology /
Coalgebras for causality
Sun 7 Apr 2019 14:00 - 14:45 at S6 - Algebraic approaches to causality
In this talk I will present a coalgebraic perspective on causality. I will introduce a general notion of causal operational model in the form of coalgebras over structured sets, including causal information in the form of posets. In this richer setting, the canonical final semantics coincides with history preserving bisimulation. These coalgebras encompass known models of causality for processes and Petri nets, such as causal trees (Darondeau-Degano ’90) and and behaviour structures (Tractenbrot-Rabinovich ’88). Finally, I will show how the additional structure of coalgebras enables deriving equivalent, but more succinct, automata models via a categorical equivalence.
Coalgebras for causality (Matteo Sammartino.pdf) | 1.26MiB |
Sun 7 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Sun 7 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
14:00 - 15:30 | |||
14:00 45mTalk | Coalgebras for causality CREST Matteo Sammartino University College London File Attached | ||
14:45 45mTalk | Causality and diagrammatic reasoning CREST Jean Krivine CNRS |