Return to search

A mathematical theory of communicating processes

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

Identiferoai:union.ndltd.org:bl.uk/oai:ethos.bl.uk:331187
Date January 1982
CreatorsRoscoe, Andrew William
ContributorsHoare, C. A. R. : Stoy, J. E.
PublisherUniversity of Oxford
Source SetsEthos UK
Detected LanguageEnglish
TypeElectronic Thesis or Dissertation
Sourcehttp://ora.ox.ac.uk/objects/uuid:ed4e2289-f817-4851-868a-00e2c4f48db5

Page generated in 0.0016 seconds