how to prove concurrent algorithms are correct
摘要:
"An ounce of prevention equals a pound of cure"
预防为主,治疗为辅。
concurrent abstraction
programs are the execution of atomic statements
concurrent programs are interleavings of atomic statements from two o... 阅读全文
posted @ 2010-09-11 19:18 胡是 阅读(187) 评论(0) 推荐(0) 编辑