The area of coalgebra has emerged within theoretical computer science with a unifying
claim: to be the mathematics of computational dynamics. It combines ideas from the theory of …

Coalgebras can be seen as a natural abstraction of Kripke frames. In the same sense,
coalgebraic logics are generalised modal logics. In this paper, we give an overview of the …

NetKAT is a domain-specific language and logic for specifying and verifying network packet-
processing functions. It consists of Kleene algebra with tests (KAT) augmented with …

Guarded Kleene Algebra with Tests (GKAT) is a variation on Kleene Algebra with Tests
(KAT) that arises by restricting the union (+) and iteration (*) operations from KAT to …

We introduce Probabilistic Guarded Kleene Algebra with Tests (ProbGKAT), an extension of
GKAT that allows reasoning about uninterpreted imperative programs with probabilistic …

The Method of Coalgebra: exercises in coinduction Jan Rutten Page 1 The Method of
Coalgebra: exercises in coinduction Jan Rutten February 2019 261 pages ISBN 978-90-6196-568-8 …

Guarded Kleene Algebra with Tests (GKAT) is an efficient fragment of KAT, as it allows for
almost linear decidability of equivalence. In this paper, we study the (co) algebraic …

The work in this thesis has been carried out at the Centrum Wiskunde & Informatica, under
the auspices of the research school IPA (Institute for Programming research and …

This paper takes a fresh look at the topic of trace semantics in the theory of coalgebras. In
the last few years, two approaches, somewhat incomparable at first sight, captured …

Robin Milner (1984) gave a sound proof system for bisimilarity of regular expressions
interpreted as processes: Basic Process Algebra with unary Kleene star iteration, deadlock …