"283","What Can the pi-calculus Tell Us About the Mondex Purse System?","","http://deploy-eprints.ecs.soton.ac.uk/283/","Jones, C. B. and Pierce, K. G.","UNSPECIFIED","       <span class=\"person_name\">Jones, C. B.</span> and <span class=\"person_name\">Pierce, K. G.</span>     (2010)  <a href=\"http://deploy-eprints.ecs.soton.ac.uk/283/\"><em>What Can the pi-calculus Tell Us About the Mondex Purse System?</em></a>       Technical Report.     Newcastle University .           ","","2010-01"