Currently browsing

Extensions of (Concurrent) Kleene Algebra

Jana Wagemaker Promotor: prof.dr. J.H. Geuvers (RU) and prof.dr. A. Silva (Cornell) Co-promotors: dr. J. Rot (RU) Radboud University Date: 24 October 2022 Thesis: PDF Summary Kleene algebra is the algebra of regular expressions, and a fundamental structure in computer science. It appears in various contexts, such as program semantics, …