2 papers
cs.LO2018
Graded Monads and Graded Logics for the Linear Time -- Branching Time Spectrum
Ulrich Dorsch, Stefan Milius, Lutz Schröder
State-based models of concurrent systems are traditionally considered under a variety of notions of process equivalence. In the particular case of labelled transition systems, thes…
cs.LO2018
Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages
Ulrich Dorsch, Stefan Milius, Lutz Schröder +1
We introduce a generic expression language describing behaviours of finite coalgebras over sets; besides relational systems, this covers, e.g., weighted, probabilistic, and neighbo…