Jones, Cliff B. and Pierce, Ken G. (2010) Elucidating concurrent algorithms via layers of abstraction and reification. Formal Aspects of Computing, online .
Full text not available from this repository.
Official URL: http://www.springerlink.com/content/e52509k41r31g880/
| Item Type: | Article |
|---|---|
| Subjects: | Methodology |
| ID Code: | 257 |
| Deposited By: | Prof Cliff Jones |
| Deposited On: | 29 Nov 2010 11:54 |
| Last Modified: | 29 Nov 2010 11:54 |
Repository Staff Only: item control page
