Toggle Main Menu Toggle Search

Open Access padlockePrints

A specification for ACMs

Lookup NU author(s): Professor Cliff JonesORCiD



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.

Publication metadata

Author(s): Jones C

Publication type: Report

Publication status: Published

Series Title: School of Computing Science Technical Report Series

Year: 2012

Pages: 5

Print publication date: 01/11/2012

Source Publication Date: November 2012

Report Number: 1360

Institution: Newcastle University

Place Published: Newcastle upon Tyne