Angelic Processes

De Oliveira Salazar Ribeiro, Pedro Fernando (2014) Angelic Processes. PhD thesis, University of York.

Abstract

Metadata

Supervisors: Cavalcanti, Ana
Keywords: semantics, formal specification, software engineering, CSP, UTP
Awarding institution: University of York
Academic Units: The University of York > Computer Science (York)
Identification Number/EthosID: uk.bl.ethos.647072
Depositing User: Mr Pedro Fernando De Oliveira Salazar Ribeiro
Date Deposited: 28 May 2015 11:09
Last Modified: 08 Sep 2016 13:32

Download

Angelic Processes

Filename: thesis.pdf

Description: Angelic Processes

Licence: Creative Commons Licence
This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 2.5 License

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.