A mathematical theory of communicating processes

(Brief abstract written by the author in 2011 since I don't have the original to hand.)This thesis introduced much of the theory for Hoare's CSP, including the failures and failures-divergences model and methods of proving properties of processes based on metric, order and topological structures. The final chapter investigates the structures underlying operational semantics.