41 citations · 50 across the 6 of their papers we have counts for
1 paper · 1 filter
Alex Horn, Jade Alglave
Concurrent Kleene Algebra (CKA) is a recently proposed algebraic structure by Hoare and collaborators that unifies the laws of concurrent programming. The unifying power of CKA res…