Single file synchronization using vector time pairs
{"Image DocumentName": "Single file synchronization using vector time pairs", "Image ImageDescription": "Nothing happened to a file between its modification time and the synchronization time, mA \u2264 mB if and only if mA \u2264 sB. (One direction follows from the fact that mB \u2264 sB. The other direction follows from the fact that all modification events in sB are contained in mB.)", "Image XResolution": "37", "Image YResolution": "37", "Image ResolutionUnit": "Pixels/Centimeter", "Image Software": "SlidePlayer", "Image YCbCrPositioning": "Centered"}