Journal of the ACM Bibliography

Alan Fekete, M. Frans Kaashoek, and Nancy Lynch. Implementing sequentially consistent shared objects using broadcast and point-to-point communication. Journal of the ACM, 45(1):35-69, January 1998. [BibTeX entry]
Categories and Subject Descriptors: C.2.2 [Computer-Communication Networks]: Network Protocols; C.2.4 [Computer-Communication Networks]: Distributed Systems; D.4.7 [Operating Systems]: Organization and Design; F.3.1 [Logics and Meanings of Programs]: Specifying and Verifying and Reasoning about Programs

General Terms: Algorithms, Verification

Additional Key Words and Phrases: Distributed shared memory, formal methods, input/output automata, ordered multicast, Orca programming language, replicated data

Selected references


  • Journal of the ACM homepage
  • Bibliography top level
  • Journal of the ACM Author Index
  • Search the HBP database