- Task 1 (Atomics)
- A possible Solution can found at https://sauce.zdv.uni-mainz.de/submissions/60298/show
- Task 2 (Compare and Swap)
- A possible Solution can be found at https://sauce.zdv.uni-mainz.de/submissions/60299/show
- Task 3 (Parallel Queue)
- A possible solution can be found at https://sauce.zdv.uni-mainz.de/submissions/60321/show