Login / Signup

A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures.

Gerhard SchellhornJohn DerrickHeike Wehrheim
Published in: ACM Trans. Comput. Log. (2014)
Keyphrases
  • data structure
  • databases
  • data types
  • theorem prover
  • theorem proving
  • information retrieval
  • information systems
  • decision trees
  • multi agent
  • database management systems
  • provably correct