/coq-full-abstraction-parallel-language

Coq formalization of the article "Full Abstraction for a Shared-Variable Parallel Language"

Primary LanguageCoqMIT LicenseMIT

coq-full-abstraction-parallel-language

Coq formalization of the article "Full Abstraction for a Shared-Variable Parallel Language"