An implementation of a simple asynchronous message-passing lock server, verified in Coq using the Verdi framework
-
Updated
Oct 23, 2017 - Coq
An implementation of a simple asynchronous message-passing lock server, verified in Coq using the Verdi framework
Add a description, image, and links to the mutual-exclusion topic page so that developers can more easily learn about it.
To associate your repository with the mutual-exclusion topic, visit your repo's landing page and select "manage topics."