Skip to content

Algebraic File Synchronization: Adequacy and Completeness v2.0 (arXiv)
Compare
Choose a tag to compare
@csirmaz csirmaz released this 20 Jul 23:17
· 2 commits to master since this release
v2.0
bd61ee3

Download the PDF from https://arxiv.org/abs/1601.01736

Assets 2
Loading