Butler, M.J.,
(1993)
Refinement and Decomposition of Value-Passing Action Systemss in the Refinement Calculus
Best, E. (ed.)
At CONCUR'93.
Download
Full text not available from this repository.
| Item Type: |
Conference or Workshop Item
(Other)
|
| Venue - Dates: |
CONCUR'93, 1993-01-01
|
| Organisations: |
Electronic & Software Systems |
| ePrint ID: |
250968 |
| Date : |
|
| Date Deposited: |
07 Oct 1999 |
| Last Modified: |
17 Apr 2017 23:46 |
| Further Information: | Google Scholar |
|---|
| URI: |
http://eprints.soton.ac.uk/id/eprint/250968 |
Actions (login required)
 |
View Item |
