research
∙
06/06/2023
Fractals from Regular Behaviours
We are interested in connections between the theory of fractal sets obta...
share
research
∙
05/02/2023
Probabilistic Guarded KAT Modulo Bisimilarity: Completeness and Complexity
We introduce Probabilistic Guarded Kleene Algebra with Tests (ProbGKAT),...
research
∙
01/26/2023
A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests
Guarded Kleene Algebra with Tests (GKAT) is a fragment of Kleene Algebra...
research
∙
09/01/2022
A (Co)Algebraic Framework for Ordered Processes
A recently published paper (Schmid, Rozowski, Silva, and Rot, 2022) offe...
research
∙
07/24/2022
Presenting Quantitative Inequational Theories
It came to the attention of myself and the coauthors of (S., Rozowski, S...
research
∙
02/14/2022
Processes Parametrised by an Algebraic Theory
We develop a (co)algebraic framework to study a family of process calcul...
research
∙
09/24/2021
How to write a coequation
There is a large amount of literature on the topic of covarieties, coequ...
research
∙
06/15/2021
On Star Expressions and Coalgebraic Completeness Theorems
An open problem posed by Milner asks for a proof that a certain axiomati...
research
∙
02/16/2021