Toggle Main Menu Toggle Search

ePrints

A specification for ACMs

Lookup NU author(s): Professor Cliff Jones

Downloads


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

Series Title: School of Computing Science Technical Report Series

Year: 2012

Pages: 5

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