Fusion and Simultaneous Execution in the Refinement Calculus


Back, R. J. R. and Butler, M. J. (1998) Fusion and Simultaneous Execution in the Refinement Calculus. Acta Informatica, 35, (11), 921-949.

Download

[img] Postscript
Download (267Kb)
Item Type: Article
ISSNs: 0001-5903
Divisions: Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems
Item ID: 250503
Date Deposited: 14 Jun 1999
Last Modified: 02 Mar 2012 14:01
Contributors: Back, R. J. R. (Author)
Butler, M. J. (Author)
Date: 1998
Status: Published
Further Information:Google Scholar
ISI Citation Count:8
URI: http://eprints.soton.ac.uk/id/eprint/250503

Actions (login required)

View Item View Item
EPrints Logo
Contact ePrints Soton: eprints@soton.ac.uk
ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2