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

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Cliff B. Jones Articles by Ken G. Pierce

12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007)

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

Auckland, New Zealand

July 11-July 14

ISBN: 0-7695-2895-3

	ASCII Text	x
	Cliff B. Jones, Ken G. Pierce, "What Can the \pi-calculus Tell Us About the Mondex Purse System?," Engineering of Complex Computer Systems, IEEE International Conference on, pp. 300-306, 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007), 2007.

	BibTex	x
	@article{ 10.1109/ICECCS.2007.46, author = {Cliff B. Jones and Ken G. Pierce}, title = {What Can the \pi-calculus Tell Us About the Mondex Purse System?}, journal ={Engineering of Complex Computer Systems, IEEE International Conference on}, volume = {0}, year = {2007}, isbn = {0-7695-2895-3}, pages = {300-306}, doi = {http://doi.ieeecomputersociety.org/10.1109/ICECCS.2007.46}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Engineering of Complex Computer Systems, IEEE International Conference on TI - What Can the \pi-calculus Tell Us About the Mondex Purse System? SN - 0-7695-2895-3 SP300 EP306 A1 - Cliff B. Jones, A1 - Ken G. Pierce, PY - 2007 KW - null VL - 0 JA - Engineering of Complex Computer Systems, IEEE International Conference on ER -

Cliff B. Jones, Newcastle University, UK

Ken G. Pierce, Newcastle University, UK

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ICECCS.2007.46

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.

Citation:

Cliff B. Jones, Ken G. Pierce, "What Can the \pi-calculus Tell Us About the Mondex Purse System?," iceccs, pp.300-306, 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007), 2007

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.