6 papers
Compositionality in Coalgebraic Trace Semantics
Robin Jourde, Henning Urbat, Sergey Goncharov +2
A key requirement on any well-behaved process language is its compositionality: behavioural equivalence of processes should be respected by the constructors of the language. Turi a…
Graded Monad Coalgebras for Continuous-Time Transition Systems
Elena Di Lavore, Jonas Forster, Mario Román
Functor coalgebras capture a wide range of transition systems that must however evolve in discrete steps. We introduce graded coalgebras of graded monads and propose them to model…
Generalized Kantorovich-Rubinstein Duality beyond Hausdorff and Kantorovich
Paul Wild, Lutz Schröder, Karla Messing +2
The classical Kantorovich-Rubinstein duality guarantees coincidence between metrics on the space of probability distributions defined on the one hand via transport plans (couplings…
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…
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-…
Quantitative Graded Semantics and Spectra of Behavioural Metrics
Jonas Forster, Lutz Schröder, Paul Wild +4
Behavioural metrics provide a quantitative refinement of classical two-valued behavioural equivalences on systems with quantitative data, such as metric or probabilistic transition…