Commit 9795c36e authored by Ralf Jung's avatar Ralf Jung

credit where credit is due

parent c0a33a82
......@@ -55,7 +55,7 @@ This repository contains the following case studies:
* [logatom](theories/logrel_heaplang): Proofs of various logically atomic specifications:
- Elimination Stack (by Ralf Jung)
- Conditional increment (inspired by [this paper]( and RDCSS (as in [this paper]( (by Marianna Rapoport, Rodolphe Lepigre and Gaurav Parthasarathy)
- [Herlihy-Wing-Queue](
- [Herlihy-Wing-Queue]( (by Rodolphe Lepigre)
- Atomic Snapshot (by Marianna Rapoport)
- Treiber Stack (by Zhen Zhang, and another version by Rodolphe Lepigre)
- Flat Combiner (by Zhen Zhang, also see [this archived documentation](
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment