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
Year2012
DateNovember 2012
Report Number1360
Pages5
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
URLhttp://www.cs.ncl.ac.uk/publications/trs/papers/1360.pdf
ActionsLink to this publication