网络与分布式操作系统

- 9.5 事件排序 清华大学 - 前发生关系 (用符号“”表示 ).如果A和B是同一进程内部的事件，而且A在B前执行，则有AB。如果A是一个由某一进程发送消息的事件，B