1 citations · 3 across the 8 of their papers we have counts for
9 papers
The Only Distributive Law Over the Powerset Monad Is the One You Know
Sergey Goncharov, Dirk Hofmann, Pedro Nora +2
Distributive laws of set functors over the powerset monad (also known as Kleisli laws for the powerset monad) are well-known to be in one-to-one correspondence with extensions of s…
Computing Distinguishing Formulae for Threshold-Based Behavioural Distances
Jonas Forster, Lutz Schröder, Paul Wild +2
Behavioural distances generally offer more fine-grained means of comparing quantitative systems than two-valued behavioural equivalences. They often relate to quantitative modaliti…
Case Studies in Generalized Kantorovich-Rubinstein Duality
Paul Wild, Lutz Schröder, Pedro Nora +3
The classical Kantorovich-Rubinstein duality guarantees coincidence between metrics on the space of probability distributions defined on the one hand via transport plans (couplings…
Non-Expansive Fuzzy Coalgebraic Logic
Stefan Gebhart, Lutz Schröder, Paul Wild
Fuzzy logic extends the classical truth values "true" and "false" with additional truth degrees in between. More specifically, fuzzy modal logics in this sense are given by a choic…
Non-expansive Fuzzy ALC
Stefan Gebhart, Lutz Schröder, Paul Wild
Fuzzy description logics serve the representation of vague knowledge, typically letting concepts take truth degrees in the unit interval. Expressiveness, logical properties, and co…
Behavioural Conformances based on Lax Couplings
Paul Wild, Lutz Schröder
Behavioural conformances -- e.g. behavioural equivalences, distances, preorders -- on a wide range of system types (non-deterministic, probabilistic, weighted etc.) can be dealt wi…
Conformance Games for Graded Semantics
Jonas Forster, Lutz Schröder, Paul Wild
Game-theoretic characterizations of process equivalences traditionally form a central topic in concurrency; for example, most equivalences on the classical linear-time / branching-…
Relational Connectors and Heterogeneous Bisimulations
Pedro Nora, Jurriaan Rot, Lutz Schröder +1
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 of…
Identity-Preserving Lax Extensions and Where to Find Them
Sergey Goncharov, Dirk Hofmaan, Pedro Nora +2
Generic notions of bisimulation for various types of systems (nondeterministic, probabilistic, weighted etc.) rely on identity-preserving (normal) lax extensions of the functor enc…