GitHub - imdea-software/accord-specification: TLA+ specification of Apache Cassandra’s Accord protocol · GitHub

Name		Name	Last commit message	Last commit date
AccordSpec.cfg		AccordSpec.cfg
AccordSpec.tla		AccordSpec.tla
ExtraConfiguration.tla		ExtraConfiguration.tla

About

TLA+ specification of Apache Cassandra’s Accord protocol

Custom properties

0 stars

1 watching

Report repository

Releases

Packages

Contributors

Languages