Added the multicast flowchat pseudo code to the document.
Changed the state machine to get rid of some useless states and combine a few others that only had small operations.