Zeus

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

Categories > Tla

Suggest Alternative

Stars

License

apache-2.0

Open Issues

Most Recent Commit

2 years ago

Programming Language

TLA

Repo

Suggest An Alternative To Zeus

Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.