What Can the pi-calculus Tell Us About the Mondex Purse System?

Cliff B. Jones, Ken G. Pierce

Browse the full ICECCS paper archive.