The art of multiprocessor programming

von Herlihy, Maurice
Veröffentlicht 2021

Towards a Verified Model of the Algorand Consensus Protocol in Coq

von Alturki, Musab A.
Veröffentlicht in World Congress on Formal Methods (3. : 2019 : Porto, Portugal) Formal methods ; Part 1 (2020)