Jones, Cliff B. and Pierce, Ken G. (2011) Elucidating concurrent algorithms via layers of abstraction and reification. Formal Aspects of Computing, 23 (3). pp. 289-306.
Full text not available from this repository.
Official URL: http://www.springerlink.com/content/e52509k41r31g880/
| Item Type: | Article |
|---|---|
| Subjects: | Methodology |
| ID Code: | 365 |
| Deposited By: | Prof Cliff Jones |
| Deposited On: | 13 Feb 2012 10:17 |
| Last Modified: | 13 Feb 2012 10:17 |
Repository Staff Only: item control page
