TY  - RPRT
CY  - Newcastle upon Tyne 
ID  - deploy185
UR  - http://deploy-eprints.ecs.soton.ac.uk/185/
A1  - Jones, Cliff B
Y1  - 2009///
PB  - Newcastle University 
VL  - CS-TR-1179
TI  - The role of auxiliary variables in the formal development of concurrent programs.
M1  - technical_report
AV  - restricted
ER  -

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