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

  1. Lookup NU author(s)
  2. Professor Cliff Jones
  3. Dr Ken Pierce
Author(s)Jones CB, Pierce KG
Publication type Report
Series TitleSchool of Computing Science Technical Report Series
Legacy DateJanuary 2010
Report Number1185
Full text is available for this publication:
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.
InstitutionSchool of Computing Science, University of Newcastle upon Tyne
Place PublishedNewcastle upon Tyne
ActionsLink to this publication