2 citations · 4 across the 3 of their papers we have counts for
3 papers · 1 filter
Behavioural Metrics: Compositionality of the Kantorovich Lifting and an Application to Up-To Techniques
Keri D'Angelo, Sebastian Gurke, Johanna Maria Kirss +4
Behavioural distances of transition systems modelled via coalgebras for endofunctors generalize traditional notions of behavioural equivalence to a quantitative setting, in which s…
A Completeness Theorem for Probabilistic Regular Expressions
Wojciech Różowski, Alexandra Silva
We introduce Probabilistic Regular Expressions (PRE), a probabilistic analogue of regular expressions denoting probabilistic languages in which every word is assigned a probability…
Processes Parametrised by an Algebraic Theory
Todd Schmid, Wojciech Rozowski, Alexandra Silva +1
We develop a (co)algebraic framework to study a family of process calculi with monadic branching structures and recursion operators. Our framework features a uniform semantics of p…