ORA Thesis: "A mathematical theory of communicating processes" - uuid:ed4e2289-f817-4851-868a-00e2c4f48db5

74 views

12 downloads

Thesis

Links & Downloads

http://ora.ox.ac.uk/objects/ora:5224

Reference: A. W. Roscoe, (1982). A mathematical theory of communicating processes. DPhil. University of Oxford.

Citable link to this page: http://ora.ox.ac.uk/objects/uuid:ed4e2289-f817-4851-868a-00e2c4f48db5
 
Title: 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.


Digital Origin:Digitized other analog
Type of Award:DPhil
Level of Award:Doctoral
Awarding Institution: University of Oxford
About The Authors
websitehttp://www.comlab.ox.ac.uk/people/bill.roscoe/
institutionUniversity of Oxford
facultyMathematical,Physical & Life Sciences Division - Computing Laboratory
oxfordCollegeSt Edmund Hall
 
Contributors
Prof C. A. R. Hoare More by this contributor
RoleSupervisor
 
Mr J. E. Stoy More by this contributor
RoleSupervisor
 
Bibliographic Details
Issue Date: 1982
Copyright Date: 1982
Identifiers
Urn: uuid:ed4e2289-f817-4851-868a-00e2c4f48db5
Item Description
Relationships
Member of collection : ora:thesis
Alternate metadata formats
Rights
Copyright Holder: A.W. Roscoe
Terms of Use: Click here for our Terms of Use