Data

Tools

Indexes

Applications

Experiments

Awesome

An open API service indexing awesome lists of open source software.

https://www.microsoft.com/en-us/research/publication/ironfleet-proving-practical-distributed-systems-correct/


https://www.microsoft.com/en-us/research/publication/ironfleet-proving-practical-distributed-systems-correct/

Last synced: about 1 month ago
JSON representation