Multivalued possibilities mappings

This publication has 18 references indexed in Scilit:

• Tape versus queue and stacks: The lower bounds
  Information and Computation, 1988
• A little knowledge goes a long way: simple knowledge-based derivations and correctness proofs for a family of protocols
  Published by Association for Computing Machinery (ACM) ,1987
• Constructing two-writer atomic registers
  Published by Association for Computing Machinery (ACM) ,1987
• Epidemic algorithms for replicated database maintenance
  Published by Association for Computing Machinery (ACM) ,1987
• Hierarchical correctness proofs for distributed algorithms
  Published by Association for Computing Machinery (ACM) ,1987
• Specifying Concurrent Program Modules
  ACM Transactions on Programming Languages and Systems, 1983
• Implementing atomic actions on decentralized data
  ACM Transactions on Computer Systems, 1983
• Grapevine
  Communications of the ACM, 1982
• An axiomatic proof technique for parallel programs I
  Acta Informatica, 1976
• A note on reliable full-duplex transmission over half-duplex links
  Communications of the ACM, 1969