fine-grained-concurrency

There are 0 repository under fine-grained-concurrency topic.

• bhavanajain / concurrent-priority-queues

  Implemented Concurrent Priority Queues using fine grained locking over sequential heap and lockfree skiplist-based

  concurrent-priority-queuescppfine-grained-concurrencyskiplist
  Language:C++ 9

• viperproject / voila

  Voila is proof outline checker for fine-grained concurrency verification

  separation-logicverificationconcurrencyfine-grained-concurrencyprogram-verificationsoftware-verificationformal-methods
  Language:Scala 1