11 citations · 16 across the 5 of their papers we have counts for
4 papers · 1 filter
Regular Behaviours with Names
Stefan Milius, Lutz Schröder, Thorsten Wißmann
Nominal sets provide a framework to study key notions of syntax and semantics such as fresh names, variable binding and -equivalence on a conveniently abstract categorical level…
Simplified Coalgebraic Trace Equivalence
Alexander Kurz, Stefan Milius, Dirk Pattinson +1
The analysis of concurrent and reactive systems is based to a large degree on various notions of process equivalence, ranging, on the so-called linear-time/branching-time spectrum,…
Coproducts of Monads on Set
Jiří Adámek, Nathan Bowler, Paul B. Levy +1
Coproducts of monads on Set have arisen in both the study of computational effects and universal algebra. We describe coproducts of consistent monads on Set by an initial algebra f…
Corecursive Algebras, Corecursive Monads and Bloom Monads
Jiří Adámek, Mahdie Haddadi, Stefan Milius
An algebra is called corecursive if from every coalgebra a unique coalgebra-to-algebra homomorphism exists into it. We prove that free corecursive algebras are obtained as coproduc…