Browse by author
Lookup NU author(s): Professor Cliff JonesORCiD, 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.
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
URL: http://dx.doi.org/10.1109/ICECCS.2007.46
DOI: 10.1109/ICECCS.2007.46
Library holdings: Search Newcastle University Library for this item
ISBN: 9780769528953
