AMC: Towards Trustworthy and Explorable CRDT Applications with the Automerge Model Checker
Saved in:
| Published in | Proceedings of the 10th Workshop on Principles and Practice of Consistency for Distributed Data |
|---|---|
| Format | Conference Proceeding |
| Language | English |
| Online Access | Get full text |
| DOI | 10.1145/3578358.3591326 |
Cover
| DOI: | 10.1145/3578358.3591326 |
|---|