Alexandra Silva – CoNeCo: Concurrency, Networks and Coinduction

May 16th, 2019 In recent years, concurrent Kleene algebra (CKA), an extension of Kleene Algebra (KA) that includes concurrent composition as a first-class citizen, has been proposed by Hoare et al. as a setting to study the algebraic properties of concurrent composition as an operator on programs.  Orthogonally, based on…

Continue reading