5 citations · 5 across the 1 of their papers we have counts for
1 paper
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…