Toggle Main Menu Toggle Search

Open Access padlockePrints

What can the π-calculus tell us about the mondex purse system?

Lookup NU author(s): Professor Cliff Jones, Dr Ken Pierce



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

Publication metadata

Author(s): Jones CB, Pierce KG

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS

Year of Conference: 2007

Pages: 300-306

Date deposited: 21/05/2010

Publisher: IEEE


DOI: 10.1109/ICECCS.2007.46

Library holdings: Search Newcastle University Library for this item

ISBN: 9780769528953