What Can the pi-calculus Tell Us About the Mondex Purse System?
- Lookup NU author(s)
- Professor Cliff Jones
- Dr Ken Pierce
|
|
|
|
| Author(s) | | Jones CB, Pierce KG |
| Publication type | | Report |
| Series Title | | School of Computing Science Technical Report Series |
| Year | | 2010 |
| Date | | January 2010 |
| Report Number | | 1185 |
| Pages | | 10 |
|
|
|
| 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. |
|
|
|
| Institution | | School of Computing Science, University of Newcastle upon Tyne |
| Place Published | | Newcastle upon Tyne |
| URL | | http://www.cs.ncl.ac.uk/publications/trs/papers/1185.pdf |
| Actions | |  |
