Search

• < Previous
• 1
• Next >

---

Guarded and Unguarded Iteration for Generalized Processes

Sergey Goncharov ; Lutz Schröder ; Christoph Rauch ; Maciej Piróg.

Models of iterated computation, such as (completely) iterative monads, often depend on a notion of guardedness, which guarantees unique solvability of recursive equations and requires roughly that recursive calls happen only under certain guarding operations. On the other hand, many models of&nbsp;[&hellip;]

---

Characteristic Logics for Behavioural Hemimetrics via Fuzzy Lax Extensions

Paul Wild ; Lutz Schröder.

In systems involving quantitative data, such as probabilistic, fuzzy, or metric systems, behavioural distances provide a more fine-grained comparison of states than two-valued notions of behavioural equivalence or behaviour inclusion. Like in the two-valued case, the wide variation found in system&nbsp;[&hellip;]

---

Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence

Thorsten Wißmann ; Stefan Milius ; Lutz Schröder.

We provide a generic algorithm for constructing formulae that distinguish behaviourally inequivalent states in systems of various transition types such as nondeterministic, probabilistic or weighted; genericity over the transition type is achieved by working with coalgebras for a set functor in the&nbsp;[&hellip;]

---