Thesis icon

Thesis

A mathematical theory of communicating processes

Abstract:

(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.

Actions


Access Document


Files:

Authors


Contributors

Role:
Supervisor
Role:
Supervisor
Institution:
University of Oxford
Oxford college:
St Edmund Hall
Department:
Mathematical,Physical & Life Sciences Division - Computing Laboratory
Publication date:
1982
Type of award:
DPhil
Level of award:
Doctoral
Awarding institution:
Oxford University, UK
URN:
uuid:ed4e2289-f817-4851-868a-00e2c4f48db5
Local pid:
ora:5224

Terms of use


Metrics


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP