40 citations · 156 across the 43 of their papers we have counts for
7 papers · 1 filter
Proceedings Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics
Ornela Dardha, Jurriaan Rot
This volume contains the proceedings of EXPRESS/SOS 2020: the Combined 27th International Workshop on Expressiveness in Concurrency and the 17th Workshop on Structural Operational…
Partially Observable Concurrent Kleene Algebra
Jana Wagemaker, Paul Brunet, Simon Docherty +3
We introduce partially observable concurrent Kleene algebra (POCKA), an algebraic framework to reason about concurrent programs with control structures, such as conditionals and lo…
Expressive Logics for Coinductive Predicates
Clemens Kupke, Jurriaan Rot
The classical Hennessy-Milner theorem says that two states of an image-finite transition system are bisimilar if and only if they satisfy the same formulas in a certain modal logic…
Steps and Traces
Jurriaan Rot, Bart Jacobs, Paul Levy
In the theory of coalgebras, trace semantics can be defined in various distinct ways, including through algebraic logics, the Kleisli category of a monad or its Eilenberg-Moore cat…
Up-to Techniques for Branching Bisimilarity
Rick Erkens, Jurriaan Rot, Bas Luttik
Ever since the introduction of behavioral equivalences on processes one has been searching for efficient proof techniques that accompany those equivalences. Both strong bisimilarit…
Preservation of Equations by Monoidal Monads
Louis Parlant, Jurriaan Rot, Alexandra Silva +1
If a monad is monoidal, then operations on a set can be lifted canonically to operations on . In this paper we study structural properties under which preserves equ…