TY  - RPRT
ID  - deploy283
UR  - http://deploy-eprints.ecs.soton.ac.uk/283/
A1  - Jones, C. B.
A1  - Pierce, K. G.
Y1  - 2010/01//
PB  - Newcastle University 
VL  - CS-TR-1185
TI  - What Can the pi-calculus Tell Us About the Mondex Purse System?
M1  - technical_report
AV  - public
ER  -

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