Angelic Nondeterminism in the Unifying Theories of Programming

Cavalcanti, A., Woodcock, J. and Dunne, S. (2006) Angelic Nondeterminism in the Unifying Theories of Programming. Formal Aspects of Computing, 18 (3). pp. 288-307. ISSN 0934-5043

Abstract

Metadata

Keywords: Semantics - Refinement - Relations - Predicate transformers
Institution: The University of York
Academic Units: The University of York > Computer Science (York)
Depositing User: York RAE Import
Date Deposited: 28 Aug 2009 15:43
Last Modified: 28 Aug 2009 15:43
Published Version: http://dx.doi.org/10.1007/s00165-006-0001-8
Status: Published
Publisher: Springer Science + Business Media
Identification Number: 10.1007/s00165-006-0001-8

Share / Export

Statistics