Jones, C. B. and Pierce, K. G. (2010) What Can the pi-calculus Tell Us About the Mondex Purse System? Technical Report. Newcastle University .
| PDF 136Kb |
Item Type: | Monograph (Technical Report) |
---|---|
Subjects: | Methodology |
ID Code: | 283 |
Deposited By: | Prof Cliff Jones |
Deposited On: | 31 Jan 2011 17:19 |
Last Modified: | 31 Jan 2011 17:19 |
Repository Staff Only: item control page