On concurrent programming1998-04-011 OA AI FFred B. Schneider DOI:10.1145/273035.273072原文链接分享收藏查看原文摘要 En