














) is a relation between the result of two events, such that if one event should happen before another event, the result must reflect that even if those events are in reality executed out of order (usually to optimize program flow).
b 成立則對于整個系統來說 a
b 也成立;
receive(m)總是成立的;
b 并且 b
c成立則 a
c也一定成立。
b 則 C(a) < C(b)
b



| 歡迎光臨 (http://m.raoushi.com/bbs/) | Powered by Discuz! X3.1 |