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:
-
-
(Preview, pdf, 40.5MB, Terms of use)
-
(Preview, pdf, 33.5MB, Terms of use)
-
(Preview, pdf, 19.3MB, Terms of use)
-
(Preview, pdf, 25.2MB, Terms of use)
-
Authors
Contributors
+ Hoare, C
- Division:
- MPLS
- Department:
- Computer Science
- Role:
- Supervisor
+ Stoy, J
- Division:
- MPLS
- Department:
- Computer Science
- Role:
- Supervisor
- Publication date:
- 1982
- Type of award:
- DPhil
- Level of award:
- Doctoral
- Awarding institution:
- Oxford University, UK
- 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
If you are the owner of this record, you can report an update to it here: Report update to this record