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
Year2010
DateJanuary 2010
Report Number1185
Pages10
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
URLhttp://www.cs.ncl.ac.uk/publications/trs/papers/1185.pdf
ActionsLink to this publication