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), pp. 921-949.

Download

[img] Postscript acta2.ps - Other
Download (274kB)
Item Type: Article
Organisations: Electronic & Software Systems
ePrint ID: 250503
Date :
Date Event
1998Published
Date Deposited: 14 Jun 1999
Last Modified: 18 Apr 2017 00:20
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/250503

Actions (login required)

View Item View Item