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