promising-coq
The Coq development of A Promising Semantics for Relaxed-Memory Concurrency
32 stars
13 watching
5 forks
Language: Coq
last commit: over 3 years ago concurrencypromising-semanticsshared-memory
The Coq development of A Promising Semantics for Relaxed-Memory Concurrency