Jupiter: Each client is responsible for ignoring the messages/operations generated by itself

[hengxin]

Description:
The server broadcasts messages to all clients.
Each client is responsible for ignoring the messages generated by itself.

• CSComm: +SSend(msg)
• Jupiter: Rev(c): ignoring the message generated by c

Advantages:

• clean code

Disadvantages:

• larger state space