ease-lab / ZeusLinks

This repository contains the TLA+ specification of the ownership and the reliable commit protocols for transactions in Zeus work that appears in Eurosys'21.
18Updated 2 years ago

Alternatives and similar repositories for Zeus

Users that are interested in Zeus are comparing it to the libraries listed below

Sorting: