title: The role of auxiliary variables in the formal development of concurrent programs
creator: Jones, C. B.
subject: Methodology
publisher: Springer
date: 2010
type: Book Section
type: PeerReviewed
format: application/pdf
identifier: http://deploy-eprints.ecs.soton.ac.uk/255/1/CBJ-final.pdf
identifier:   Jones, C. B.  (2010) The role of auxiliary variables in the formal development of concurrent programs.   In:  Reflections on the work of C.A.R. Hoare.   Springer, pp. 167-188.      
relation: http://deploy-eprints.ecs.soton.ac.uk/255/

<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>