What can the pi-calculus tell us about the Mondex Purse system /
Jones, Cliff B.(Cliff Bryn),1944-
Pierce, Ken G.
University of Newcastle upon Tyne.School of Computing Science.
Newcastle-upon-Tyne : Computing Science, Newcastle University,
c2010.
Caption title.
"January 2010."