Coalgebraic causal processes [LSC]
Elena Di Lavore
Pisa
https://elenadilavore.github.io/
Date(s) : 06/12/2024 iCal
11h00 - 12h30
Effectful streams are a coinductive semantic universe for
effectful dataflow programs. Under some conditions, effectful streams
generalise causal stream functions, which are classically known to give
the traces of deterministic Mealy machines. In the same way, effectful
streams give trace semantics to effectful Mealy machines.
We define effectful bisimulation, generalising the coalgebraic
definition of bisimulation.
Emplacement
I2M Luminy - TPR2, Salle de Séminaire 304-306 (3ème étage)
Catégories
