%A C. B. Jones %A K. G. Pierce %T What Can the pi-calculus Tell Us About the Mondex Purse System? %D 2010 %I Newcastle University %R CS-TR-1185 %L deploy283