ePrints

A specification for ACMs

Lookup NU author(s): Emeritus Professor Cliff JonesORCiD

Downloads

• Published version [.pdf]

Abstract

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

URL: http://www.cs.ncl.ac.uk/publications/trs/papers/1360.pdf

Share