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:
-
-
(pdf, 40.5MB)
-
(pdf, 33.5MB)
-
(pdf, 19.3MB)
-
(pdf, 25.2MB)
-
Authors
Contributors
+ Hoare, C
Division:
MPLS
Department:
Computer Science
Role:
Supervisor
+ Stoy, J
Division:
MPLS
Department:
Computer Science
Role:
Supervisor
Bibliographic Details
- Publication date:
- 1982
- Type of award:
- DPhil
- Level of award:
- Doctoral
- Awarding institution:
- Oxford University, UK
Item Description
- Language:
- English
- Keywords:
- Subjects:
- UUID:
-
uuid:ed4e2289-f817-4851-868a-00e2c4f48db5
- Local pid:
- ora:5224
- Deposit date:
- 2011-04-08
Terms of use
- Copyright holder:
- A.W. Roscoe
- Copyright date:
- 1982
Metrics
If you are the owner of this record, you can report an update to it here: Report update to this record