2 citations · 4 across the 3 of their papers we have counts for
4 papers
Well-Behaved (Co)algebraic Semantics of Regular Expressions in Dafny
Stefan Zetzsche, Wojciech Rozowski
Regular expressions are commonly understood in terms of their denotational semantics, that is, through formal languages -- the regular languages. This view is inductive in nature:…
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…