Stepwise Refinement of Communicating Systems


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

Download

[img] Postscript
Download (297Kb)
Item Type: Article
ISSNs: 0167-6423
Divisions: Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems
ePrint ID: 250575
Date Deposited: 14 Jun 1999
Last Modified: 27 Mar 2014 19:51
Further Information:Google Scholar
ISI Citation Count:12
URI: http://eprints.soton.ac.uk/id/eprint/250575

Actions (login required)

View Item View Item