Use this URL to cite or link to this record in EThOS:
Title: A mathematical theory of communicating processes
Author: Roscoe, Andrew William
ISNI:       0000 0001 2447 8576
Awarding Body: University of Oxford
Current Institution: University of Oxford
Date of Award: 1982
Availability of Full Text:
Access from EThOS:
Full text unavailable from EThOS. Please try the link below.
Access from Institution:
(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.
Supervisor: Hoare, C. A. R. ; Stoy, J. E. Sponsor: Not available
Qualification Name: Thesis (Ph.D.) Qualification Level: Doctoral
EThOS ID:  DOI: Not available
Keywords: Computer science (mathematics) ; Communication Sequential Processing (CSP) ; Failures ; Traces ; Semantics