Refinement and Decomposition of Value-Passing Action Systemss in the Refinement Calculus
Refinement and Decomposition of Value-Passing Action Systemss in the Refinement Calculus
Butler, M.J.
54b9c2c7-2574-438e-9a36-6842a3d53ed0
Best, E.
4a9c347a-68b3-4ee3-b0c3-929b82be96ed
1993
Butler, M.J.
54b9c2c7-2574-438e-9a36-6842a3d53ed0
Best, E.
4a9c347a-68b3-4ee3-b0c3-929b82be96ed
Butler, M.J.
(1993)
Refinement and Decomposition of Value-Passing Action Systemss in the Refinement Calculus.
Best, E.
(ed.)
At CONCUR'93
CONCUR'93.
Record type:
Conference or Workshop Item
(Other)
Full text not available from this repository.
More information
Published date: 1993
Venue - Dates:
CONCUR'93, 1993-01-01
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 250968
URI: https://eprints.soton.ac.uk/id/eprint/250968
PURE UUID: d03f35dc-c167-48a0-8ff5-e38a35fa5b29
Catalogue record
Date deposited: 07 Oct 1999
Last modified: 18 Jul 2017 10:13
Export record
Contributors
Author:
M.J. Butler
Editor:
E. Best
University divisions
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics
Library staff edit