Strong and weak fairness in formal method(形式化方法中的强公平性和弱公平性)
找到了讲解详尽的片段:Fairness properties are liveness properties which guarantee some "fair" behavior. Let's consider the following example:There is a (reliable) channel connecting a sender and a receiver. Now,...
原创
2018-04-09 00:10:08 ·
1009 阅读 ·
0 评论