Kappé, Tobias;      (2020)    Concurrent Kleene Algebra: Completeness and Decidability.                   Doctoral thesis  (Ph.D), UCL (University College London).     Green open access