ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
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 Apr

crest-2019-papers
14:00 - 15:30: CREST - Algebraic approaches to causality at S6
crest-2019-papers14:00 - 14:45
Talk
Matteo SammartinoUniversity College London
File Attached
crest-2019-papers14:45 - 15:30
Talk