External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Checking Linearizability of Concurrent Priority Queues

Ahmed Bouajjani, Constantin Enea, Chao Wang. Checking Linearizability of Concurrent Priority Queues. In Roland Meyer, Uwe Nestmann, editors, 28th International Conference on Concurrency Theory, CONCUR 2017, September 5-8, 2017, Berlin, Germany. Volume 85 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2017. [doi]

Authors

Ahmed Bouajjani

This author has not been identified. Look up 'Ahmed Bouajjani' in Google

Constantin Enea

This author has not been identified. Look up 'Constantin Enea' in Google

Chao Wang

This author has not been identified. Look up 'Chao Wang' in Google
runs on