TY  - RPRT
TI  - CheckSync: Using Runtime-Integrated Checkpoints to Achieve High Availability}
AU  - Nicolaas Kaashoek
AU  - Robert Morris
PY  - 2022
UR  - https://arxiv.org/abs/2208.02884
ID  - 2208.02884
ER  -