3 papers
cs.FL2024
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:…
cs.LO2024
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…
cs.LO2024
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…