creators_name: Jones, Cliff B
creators_id: Cliff.Jones@ncl.ac.uk
type: monograph
datestamp: 2010-01-12 10:10:59
lastmod: 2010-04-19 15:05:59
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
monograph_type: technical_report
date: 2009
date_type: published
publisher: Newcastle University 
place_of_pub: Newcastle upon Tyne 
id_number: CS-TR-1179
institution: Newcastle University
department: School of Computing Science 
citation:   Jones, Cliff B  (2009) The role of auxiliary variables in the formal development of concurrent programs.  Technical Report. Newcastle University , Newcastle upon Tyne .     
document_url: http://deploy-eprints.ecs.soton.ac.uk/185/1/The_role_of_auxiliary_variables_in_the_formal_development_of_concurrent_programs.pdf

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