A specification for ACMs
- Lookup NU author(s)
- Professor Cliff Jones
|
|
|
|
| Author(s) | | Jones C |
| Publication type | | Report |
| Series Title | | School of Computing Science Technical Report Series |
| Year | | 2012 |
| Date | | November 2012 |
| Report Number | | 1360 |
| Pages | | 5 |
|
|
|
| Full text is available for this publication: |
|
|
|
|
| This note proposes a simple specification for Asynchronous Communication Mechanisms. In particular, it makes use of rely/guarantee conditions and the newer "possible values" notation. |
|
|
|
| Institution | | Newcastle University |
| Place Published | | Newcastle upon Tyne |
| Actions | |  |
