1 citations · 3 across the 8 of their papers we have counts for
10 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…
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…
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-…
Expressive Quantale-valued Logics for Coalgebras: an Adjunction-based Approach
Harsh Beohar, Sebastian Gurke, Barbara König +4
We address the task of deriving fixpoint equations from modal logics characterizing behavioural equivalences and metrics (summarized under the term conformances). We rely on earlie…
Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras
Jonas Forster, Lutz Schröder, Paul Wild +3
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…
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…
Quantitative Hennessy-Milner Theorems via Notions of Density
Jonas Forster, Sergey Goncharov, Dirk Hofmann +3
The classical Hennessy-Milner theorem is an important tool in the analysis of concurrent processes; it guarantees that any two non-bisimilar states in finitely branching labelled t…
Non-iterative Modal Logics are Coalgebraic
Jonas Forster, Lutz Schröder
A modal logic is \emph{non-iterative} if it can be defined by axioms that do not nest modal operators, and \emph{rank-1} if additionally all propositional variables in axioms are i…