Schmid, Todd Junior Wayne; (2024) Coalgebraic Completeness Theorems for Effectful Process Algebras. Doctoral thesis (Ph.D), UCL (University College London).