Article
Mechanization of pomset languages in the Coq proof assistant for the specification of weak memory models
June 2022