Version vector protocols implementing session guarantees | IEEE Conference Publication | IEEE Xplore