Operation propagation in real-time group editors | IEEE Journals & Magazine | IEEE Xplore