3 citations · 3 across the 2 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2020★ 3 cited
Combining Weak Distributive Laws: Application to Up-To Techniques
Alexandre Goy, Daniela Petrisan
The coalgebraic modelling of alternating automata and of probabilistic automata has long been obstructed by the absence of distributive laws of the powerset monad over itself, resp…
cs.LO2018
Trace semantics via determinization for probabilistic transition systems
Alexandre Goy
A coalgebraic definition of finite and infinite trace semantics for probabilistic transition systems has recently been given using a certain Kleisli category. In this paper this se…