Denotational Semantics of Mobility in Unifying Theories of Programming (UTP)

EKEMBE NGONDI, Gerard (2016) Denotational Semantics of Mobility in Unifying Theories of Programming (UTP). PhD thesis, University of York.

Abstract

Metadata

Supervisors: WOODCOCK, Jim
Related URLs:
Keywords: UTP, CSP, denotational semantics, dynamic network, channel mobility, strong process mobility, continuations, interrupt
Awarding institution: University of York
Academic Units: The University of York > Computer Science (York)
Identification Number/EthosID: uk.bl.ethos.707143
Depositing User: Gerard EKEMBE NGONDI
Date Deposited: 31 Mar 2017 16:09
Last Modified: 24 Jul 2018 15:22

Download

Examined Thesis (PDF)

Export

Statistics


You do not need to contact us to get a copy of this thesis. Please use the 'Download' link(s) above to get a copy.
You can contact us about this thesis. If you need to make a general enquiry, please see the Contact us page.