What Can the Pi-Calculus Tell Us About the Mondex Purse System

摘要

This paper looks at the wider system surrounding a 'Mondex' electronic purse. It does this from a process-oriented perspective using the pi-calculus. Our model includes the issuing of purses by an authorised bank and the decisions of cardholders to participate in transactions.