Angelic Processes for CSP via the UTP

De Oliveira Salazar Ribeiro, Pedro Fernando and Cavalcanti, Ana Lucia Caneca (2018) Angelic Processes for CSP via the UTP. Theoretical Computer Science. ISSN 0304-3975



Copyright, Publisher and Additional Information: This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy.
  • Accepted: 8 October 2018
  • Published (online): 15 October 2018
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 18 Oct 2018 14:20
Last Modified: 02 Dec 2022 06:07
Published Version:
Status: Published online
Refereed: Yes
Identification Number:
Related URLs:


Filename: TCS2018.pdf

Description: Angelic Processes for CSP via the UTP

Licence: CC-BY-NC-ND 2.5

Share / Export