Contents
Download:
|
|
unknown authors
ftp://ftp.cl.cam.ac.uk/pegasus/paper94-17.ps.gz
Add To MetaCart
Abstract:
Citations
| 1 | Thread synchronisation: a formal specification. In Nelson [Nelson 91], chapter 5, pages 119--129. (p 45) [Black 94 – Black - 1994 |
