coq-full-abstraction-parallel-language
Coq formalization of the article "Full Abstraction for a Shared-Variable Parallel Language"
Coq formalization of the article "Full Abstraction for a Shared-Variable Parallel Language"
CoqMIT
Coq formalization of the article "Full Abstraction for a Shared-Variable Parallel Language"