Published December 11, 2020
| Version 1.0.0
Software
Open
Contextual Refinement of the Michael-Scott Queue - Coq Artifact
Description
The Coq mechanisation accompanying the paper Contextual Refinement of the Michael-Scott Queue (Proof Pearl).
Files
artifact.zip
Files
(881.9 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:3ec053af852435fc662eed88d8fcb0ab
|
881.9 kB | Preview Download |
Additional details
Related works
- Is cited by
- Conference paper: 10.1145/3437992.3439930 (DOI)