prialt in Handel-C: an operational semantics

Butterfield, A. and Woodcock, J. (2005) prialt in Handel-C: an operational semantics. International Journal on Software Tools for Technology Transfer, 7 (3). pp. 248-267. ISSN 1433-2779



  • Butterfield, A.
  • Woodcock, J.
  • Published: June 2005
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: 14 May 2009 13:44
Last Modified: 14 May 2009 13:44
Published Version:
Status: Published
Publisher: Speinger
Identification Number:

Download not available

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

Share / Export