1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.LO2022
On Tools for Completeness of Kleene Algebra with Hypotheses
Damien Pous, Jurriaan Rot, Jana Wagemaker
In the literature on Kleene algebra, a number of variants have been proposed which impose additional structure specified by a theory, such as Kleene algebra with tests (KAT) and th…
cs.LO2018★ 1 cited
Bisimilarity of Open Terms in Stream GSOS
Filippo Bonchi, Tom van Bussel, Matias David Lee +1
Stream GSOS is a specification format for operations and calculi on infinite sequences. The notion of bisimilarity provides a canonical proof technique for equivalence of closed te…