(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.
| Identifer | oai:union.ndltd.org:bl.uk/oai:ethos.bl.uk:331187 |
| Date | January 1982 |
| Creators | Roscoe, Andrew William |
| Contributors | Hoare, C. A. R. : Stoy, J. E. |
| Publisher | University of Oxford |
| Source Sets | Ethos UK |
| Detected Language | English |
| Type | Electronic Thesis or Dissertation |
| Source | http://ora.ox.ac.uk/objects/uuid:ed4e2289-f817-4851-868a-00e2c4f48db5 |
Page generated in 0.2639 seconds