菲利普·加德纳 从过程计算到过程框架。 69-88 https://doi.org/10.1007/3-540-44618-4_7 2000 conf/concor/2000 CONCUR公司 db/conf/concurrent/concurrent2000.html#Gardner00