問題3-43 (3.4.1 The Nature of Time in Concurrent Systems)

タイミングダイアグラムは激しくメンドいので略．