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

  • Authors:

  • Cliff B. Jones;Ken G. Pierce

  • Affiliations:

  • Newcastle University, UK;Newcastle University, UK

  • Venue:
  • ICECCS '07 Proceedings of the 12th IEEE International Conference on Engineering Complex Computer Systems
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.