注意，这种乐观方法也是参考实现处理并发性的方式。
Note that this optimistic approach is how concurrency is handled with the reference implementation.
接口自动机在处理组件组合问题时所使用的“乐观方法”和博弈思想是区别于其它形式化工具的关键点。
Optimistic approach and game-theoretic foundations that deal with composition are the prominent characteristics of interface automata and are distinct from other formal methods.
保持乐观是对付压力的一种方法。
应用推荐