复杂分支和同步模式的Pi演算描述

复杂分支和同步模式的Pi演算描述

郭小群,郝克刚,侯红,丁剑洁

Formalizing Advanced Branching and Synchronization Patterns Using Pi Calculus

GUO Xiao-qun,HAO Ke-gang,HOU Hong,DING Jian-jie

计算机科学 . 2010, (2): 139 -140 .