The Coq development of A Promising Semantics for Relaxed-Memory Concurrency
Primary LanguageCoqMIT LicenseMIT