research
∙
03/27/2023
Bisimilar States in Uncertain Structures
We provide a categorical notion called uncertain bisimilarity, which all...
share
research
∙
10/24/2022
On Tools for Completeness of Kleene Algebra with Hypotheses
In the literature on Kleene algebra, a number of variants have been prop...
research
∙
02/14/2022
Processes Parametrised by an Algebraic Theory
We develop a (co)algebraic framework to study a family of process calcul...
research
∙
01/25/2022
Concurrent NetKAT: Modeling and analyzing stateful, concurrent networks
We introduce Concurrent NetKAT (CNetKAT), an extension of NetKAT with op...
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
∙
05/21/2021
Expressivity of Quantitative Modal Logics: Categorical Foundations via Codensity and Approximation
A modal logic that is strong enough to fully characterize the behavior o...
research
∙
08/27/2020
Proceedings Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics
This volume contains the proceedings of EXPRESS/SOS 2020: the Combined 2...
research
∙
07/15/2020
Partially Observable Concurrent Kleene Algebra
We introduce partially observable concurrent Kleene algebra (POCKA), an ...
research
∙
06/22/2020
Expressive Logics for Coinductive Predicates
The classical Hennessy-Milner theorem says that two states of an image-f...
research
∙
04/11/2020
Steps and Traces
In the theory of coalgebras, trace semantics can be defined in various d...
research
∙
01/24/2020
Up-to Techniques for Branching Bisimilarity
Ever since the introduction of behavioral equivalences on processes one ...
research
∙
01/17/2020
Preservation of Equations by Monoidal Monads
If a monad T is monoidal, then operations on a set X can be lifted canon...
research
∙
08/22/2019
Proceedings Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics
This volume contains the proceedings of EXPRESS/SOS 2019: the Combined 2...
research
∙
06/03/2019
Separation and Renaming in Nominal Sets
Nominal sets provide a foundation for reasoning about names. They are us...
research
∙
05/21/2019
Completeness and Incompleteness of Synchronous Kleene Algebra
Synchronous Kleene algebra (SKA), an extension of Kleene algebra (KA), w...
research
∙
02/22/2019
Fast Computations on Ordered Nominal Sets
We show how to compute efficiently with nominal sets over the total orde...
research
∙
02/15/2019
Coalgebra Learning via Duality
Automata learning is a popular technique for inferring minimal automata ...
research
∙
11/16/2018
Kleene Algebra with Observations
Kleene algebra with tests (KAT) is an algebraic framework for reasoning ...
research
∙
11/08/2018
Bisimilarity of Open Terms in Stream GSOS
Stream GSOS is a specification format for operations and calculi on infi...
research
∙
04/07/2018
Coalgebraic Determinization of Alternating Automata
Coalgebra is a currently quite active field, which aims to look at gener...
research
∙
12/22/2017
Companions, Causality and Codensity
In the context of abstract coinduction in complete lattices, the notion ...
research
∙
09/04/2017