菲利普·加德纳 杜鹃花 Mark J.驾驶室 亚当莱特 并发库的抽象局部推理：注意差距。 147-166 2014 conf/mfps/2014 多功能操作系统 https://doi.org/10.1016/j.entcs.2014.10.009 https://www.wikidata.org/entity/Q113317846网址 db/journals/entcs/entcs308.html#GardnerRWW14