Distributed Virtual Reality environments based on rewriting systems | IEEE Journals & Magazine | IEEE Xplore