概率符号Pi演算的有限公理化

【作者】 宋磊

【导师】 傅育熙;

【作者基本信息】 上海交通大学 , 计算机软件与理论, 2009, 硕士