9 citations · 18 across the 11 of their papers we have counts for
Showing 2021Show all
3 papers · 1 filter
cs.LO2021
How to write a coequation
Fredrik Dahlqvist, Todd Schmid
There is a large amount of literature on the topic of covarieties, coequations and coequational specifications, dating back to the early seventies. Nevertheless, coequations have n…
cs.LO2021★ 4 cited
On Star Expressions and Coalgebraic Completeness Theorems
Todd Schmid, Jurriaan Rot, Alexandra Silva
An open problem posed by Milner asks for a proof that a certain axiomatisation, which Milner showed is sound with respect to bisimilarity for regular expressions, is also complete.…
cs.LO2021★ 9 cited
Guarded Kleene Algebra with Tests: Coequations, Coinduction, and Completeness
Todd Schmid, Tobias Kappé, Dexter Kozen +1
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 prop…