Refinement and Decomposition of Value-Passing Action Systemss in the Refinement Calculus


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 Event
1993Published
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 View Item