
Explaining Behavioural Inequivalence Generically in Quasilinear Time
We provide a generic algorithm for constructing formulae that distinguis...
read it

An Initial Algebra Theorem Without Iteration
The Initial Algebra Theorem by Trnková et al. states, under mild assumpt...
read it

Coalgebra Encoding for Efficient Minimization
Recently, we have developed an efficient generic partition refinement al...
read it

Behavioural Preorders via Graded Monads
Like notions of process equivalence, behavioural preorders on processes ...
read it

Harnessing LTL With Freeze Quantification
Logics and automata models for languages over infinite alphabets, such a...
read it

From Generic Partition Refinement to Weighted Tree Automata Minimization
Partition refinement is a method for minimizing automata and transition ...
read it

On the Behaviour of Coalgebras with Side Effects and Algebras with Effectful Iteration
For every finitary monad T on sets and every endofunctor F on the catego...
read it

On WellFounded and Recursive Coalgebras
This paper studies fundamental questions concerning categorytheoretic m...
read it

Equational Axiomatization of Algebras with Structure
This paper proposes a new category theoretic account of equationally axi...
read it

Graded Monads for the Linear Time  Branching Time Spectrum
Statebased models of concurrent systems are traditionally considered un...
read it

CoPaR: An Efficient Generic Partition Refiner
Partition refinement is a method for minimizing automata and transition ...
read it

Efficient and Modular Coalgebraic Partition Refinement
We present a generic partition refinement algorithm that quotients coalg...
read it

Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages
We introduce a generic expression language describing behaviours of fini...
read it

A Categorical Approach to Syntactic Monoids
The syntactic monoid of a language is generalized to the level of a symm...
read it

A New Foundation for Finitary Corecursion and Iterative Algebras
This paper contributes to a theory of the behaviour of "finitestate" sy...
read it
Stefan Milius
is this you? claim profile