What Can the \pi-calculus Tell Us About the Mondex Purse System? | IEEE Conference Publication | IEEE Xplore