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 > 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

Download not available

A full text copy of this item is not currently available from White Rose Research Online

Share / Export

Statistics