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

Authors/Creators:
  • Cavalcanti, A. (Ana.Cavalcanti@cs.york.ac.uk)
  • Woodcock, J.
  • Dunne, S.
Keywords: Semantics - Refinement - Relations - Predicate transformers
Dates:
  • Published: 6 August 2006
Institution: The University of York
Academic Units: The University of York > Computer Science (York)
The University of York > Faculty of Sciences (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: https://doi.org/10.1007/s00165-006-0001-8

Share / Export

Statistics