Article
Moiseenko E.V., Gladstein V.P., Podkopaev A.V, Koznov D.V.
Mechanization of pomset languages in the Coq proof assistant for the specification of weak memory models
June 2022