search

tlaplus / Examples

A collection of TLA⁺ specifications of varying complexities
Other
1.29k stars 200 forks source link

fix no. typo & add links to CRDT #37

Closed JYwellin closed 1 year ago

JYwellin commented 3 years ago

Conflict-free Replicated Data Types (CRDT) are replicated data types that encapsulate the mechanisms for resolving concurrent conflicts. we propose a reusable framework for modeling and verifying CRDT protocols.

lemmy commented 1 year ago

Pushed in https://github.com/tlaplus/Examples/commit/26876c75633fa7f65e8a90c6ff506ad76ee5d4a2, thanks!