We address the task of deriving fixpoint equations from modal logics characterizing
behavioural equivalences and metrics (summarized under the term conformances). We rely …

Coalgebra, as the abstract study of state-based systems, comes naturally equipped with a
notion of behavioural equivalence that identifies states exhibiting the same behaviour. In …

Behavioural distances measure the deviation between states in quantitative systems, such
as probabilistic or weighted systems. There is growing interest in generic approaches to …

Behavioural metrics provide a quantitative refinement of classical two-valued behavioural
equivalences on systems with quantitative data, such as metric or probabilistic transition …

While behavioural equivalences among systems of the same type, such as Park/Milner
bisimilarity of labelled transition systems, are an established notion, a systematic treatment …

Bisimilarity is a central notion for coalgebras. In recent work, Geuvers and Jacobs suggest to
focus on apartness, which they define by dualising coalgebraic bisimulations. This yields the …

Game-theoretic characterizations of process equivalences traditionally form a central topic in
concurrency; for example, most equivalences on the classical linear-time/branching-time …

Lax extensions of set functors play a key role in various areas, including topology,
concurrent systems, and modal logic, while predicate liftings provide a generic semantics of …

Mathematical modeling of computer systems is of fundamental importance in software
verification. Some of such mathematical models focus on the possible states and transitions …

In der Theorie der zustandsbasierten Systeme befasst man sich oft mit dem Problem,
Zustände dieser Systeme anhand ihres Verhaltens zu analysieren und zu vergleichen. Es …