Stepwise Refinement of Communicating Systems


Butler, M. J. (1996) Stepwise Refinement of Communicating Systems Science of Computer Programming, 27, (2), pp. 139-173.

Download

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

Actions (login required)

View Item View Item