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

Item Type: Article
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: 10.1007/s00165-006-0001-8
Open Archives Initiative ID (OAI ID):

Download not available

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

Export

Statistics