title: What Can the pi-calculus Tell Us About the Mondex Purse System?
creator: Jones, C. B.
creator: Pierce, K. G.
subject: Methodology
publisher: Newcastle University 
date: 2010-01
type: Monograph
type: NonPeerReviewed
format: application/pdf
identifier: http://deploy-eprints.ecs.soton.ac.uk/283/1/1185.pdf
identifier:   Jones, C. B. and Pierce, K. G.  (2010) What Can the pi-calculus Tell Us About the Mondex Purse System?  Technical Report. Newcastle University .     
relation: http://deploy-eprints.ecs.soton.ac.uk/283/