Lightweight version vectors for pervasive computing devices | IEEE Conference Publication | IEEE Xplore