title: The role of auxiliary variables in the formal development of concurrent programs.
creator: Jones, Cliff B
subject: Methodology
publisher: Newcastle University 
date: 2009
type: Monograph
type: NonPeerReviewed
format: application/pdf
identifier: http://deploy-eprints.ecs.soton.ac.uk/185/1/The_role_of_auxiliary_variables_in_the_formal_development_of_concurrent_programs.pdf
identifier:   Jones, Cliff B  (2009) The role of auxiliary variables in the formal development of concurrent programs.  Technical Report. Newcastle University , Newcastle upon Tyne .     
relation: http://deploy-eprints.ecs.soton.ac.uk/185/

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