9 citations · 31 across the 9 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.LO2020★ 6 cited
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…
cs.LO2020★ 4 cited
Concurrent Kleene Algebra with Observations: from Hypotheses to Completeness
Tobias Kappé, Paul Brunet, Alexandra Silva +2
Concurrent Kleene Algebra (CKA) extends basic Kleene algebra with a parallel composition operator, which enables reasoning about concurrent programs. However, CKA fundamentally mis…