Coalgebras for 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|