A specification for ACMs

  1. Lookup NU author(s)
  2. Professor Cliff Jones
Author(s)Jones C
Publication type Report
Series TitleSchool of Computing Science Technical Report Series
Legacy DateNovember 2012
Report Number1360
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.
InstitutionNewcastle University
Place PublishedNewcastle upon Tyne
ActionsLink to this publication