Possibility Tracking: A Simple Technique for Machine-verifying Lock-free Data Structures

Siddhartha Jayanti, The Distributed Computing Column by Seth Gilbert

Abstract


Possibility Tracking: A Simple Technique for Machine-verifying Lock-free Data Structures

Full Text:

PDF

Refbacks

  • There are currently no refbacks.