DistributedComponents / verdi-lockservLinks

An implementation of a simple asynchronous message-passing lock server, verified in Coq using the Verdi framework
14Updated 7 years ago

Alternatives and similar repositories for verdi-lockserv

Users that are interested in verdi-lockserv are comparing it to the libraries listed below

Sorting: