Denotational semantics of mobility in Unifying Theories of Programming (UTP)
UTP promotes the unification of programming theories and has been used successfully for giving denotational semantics to Imperative Programming, CSP process algebra, and the Circus family of programming languages, amongst others. In this thesis, we present an extension of UTP-CSP (the UTP semantics...
Main Author: | |
---|---|
Other Authors: | |
Published: |
University of York
2016
|
Subjects: | |
Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.707143 |