creators_name: Jones, C. B.
type: book_section
datestamp: 2010-11-29 11:55:32
lastmod: 2010-12-09 15:37:40
metadata_visibility: show
title: The role of auxiliary variables in the formal development of concurrent programs
ispublished: pub
subjects: deploy_method
full_text_status: restricted
date: 2010
date_type: published
publisher: Springer
pagerange: 167-188
refereed: TRUE
book_title: Reflections on the work of C.A.R. Hoare
citation:   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.      
document_url: http://deploy-eprints.ecs.soton.ac.uk/255/1/CBJ-final.pdf

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