A note on communicating machines with identical symmetrical and dual processes using rewriting systems | IEEE Conference Publication | IEEE Xplore