Distributed ADT Projektbeschreibung

In diesem privaten Projekt implementiere ich einige Datenstrukturen, welche es erlauben, möglichst einfach in verteilten Systemen auf diese Strukturen und deren Daten zuzugreifen. Dabei werden verschiedene Algorithmen zur Koordinierung implementiert. Dabei wird versucht, möglichst auf bisherige Theorie zu setzen und die Algorithmen und dessen Korrektheit via TLA+ zu beweisen.
Der GitHub - rust-micro/types: Types for distributed systems sowie dessen Rust Crate sind in einer Alphaversion veröffentlicht.