Coinduction Meets Algebra For the Axiomatization of System Equivalence (COAX)
Third party funded individual grant
Acronym:
COAX
Start date :
01.10.2014
End date :
31.07.2018
Nominal Automata with Name binding (2017)
Schröder L, Kozen D, Milius S, Wißmann T
Conference contribution, Original article
Eilenberg Theorems for Free (2017)
Urbat H, Adámek J, Chen LT, Milius S
Conference contribution, Conference Contribution
On Corecursive Algebras for Functors Preserving Coproducts (2017)
Adámek J, Milius S
Conference contribution
Guard Your Daggers and Traces: Properties of Guarded (Co-)recursion (2017)
Milius S, Litak T
Journal article
Proper Functors and their Rational Fixed Point (2017)
Milius S
Conference contribution
Efficient Coalgebraic Partition Refinement (2017)
Dorsch U, Milius S, Schröder L, Wißmann T
Conference contribution
Regular Behaviours with Names - On Rational Fixpoints of Endofunctors on Nominal Sets (2016)
Milius S, Schröder L, Wißmann T
Journal article, Original article
Sound and Complete Equational Reasoning over Comodels (2015)
Schröder L, Pattinson D
Conference contribution, Original article
Simplified Coalgebraic Trace Equivalence (2015)
Kurz A, Milius S, Pattinson D, Schröder L
Book chapter / Article in edited volumes
Generic Trace Semantics and Graded Monads (2015)
Milius S, Pattinson D, Schröder L
Conference contribution, Original article