Reference: A. W. Roscoe, (1982). A mathematical theory of communicating processes. DPhil. University of Oxford.Citable link to this page:
(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.
|Digital Origin:||Digitized other analog|
|Type of Award:||DPhil|
|Level of Award:||Doctoral|
|Awarding Institution:||University of Oxford|
|Copyright Holder:||A.W. Roscoe|