research
∙
12/04/2018
Graded Monads for the Linear Time - Branching Time Spectrum
State-based models of concurrent systems are traditionally considered un...
share
research
∙
06/14/2018
Efficient and Modular Coalgebraic Partition Refinement
We present a generic partition refinement algorithm that quotients coalg...
research
∙
05/14/2018
