59 citations · 185 across the 53 of their papers we have counts for
3 papers · 2 filters
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,…
Unguarded Recursion on Coinductive Resumptions
Sergey Goncharov, Lutz Schröder, Christoph Rauch +1
We study a model of side-effecting processes obtained by starting from a monad modelling base effects and adjoining free operations using a cofree coalgebra construction; one thus…
Subsumption Checking in Conjunctive Coalgebraic Fixpoint Logics
Daniel Gorín, Lutz Schröder
While reasoning in a logic extending a complete Boolean basis is coNP-hard, restricting to conjunctive fragments of modal languages sometimes allows for tractable reasoning even in…