Capturing causality by compressed vector clock in real-time group editors | IEEE Conference Publication | IEEE Xplore