Vivek Shikaripura

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
Several constructions have been proposed for implementing a Bounded Concurrent Timestamp System (BCTS). Some constructions are based on a recursively deened Precedence Graph. Such constructions have been viewed as hard to understand and to prove correct. Other constructions that are based on the Traceable Use abstraction rst proposed by Dwork and Waarts(More)
  • 1