14 - Example systems 14.1 - Ping Pong Ping pong system view Ping process Pong process MSC trace of the ping pong system 14.2 - A global variable manipulation Global variable manipulation example system Process A Process B MSC trace of the global variable manipulation