基于π演算的编程与表达能力研究-计算机软件与理论专业论文.docxVIP

1川1川11川1川111川m川1川11川川1川川1川川m1川11川川1川川1川1川11川1川1川州1川111川1川川1川111川1川川1川1川1川川1川1川1川1川11川1川11川1川1川1川1川1川1川1川1川川1川1川1川M11川1川1川1川川11川1川1川1111 Y1835582 The Expressiveness of π-Calculus via Programming Thesis Submitted to Shanghai Jiao Tong University in partial fulfillment of the requirement for the degree of PhD by ， Xiaojuan CAI (Computer Science and Technology) Thesis Supervisor: Prof. Yuxi Fu May 2009 ? ? 创 ? 上海交通大学博士学位论文答辩决议书所在 上海交通大学博士学位论文答辩决议书 所在 姓 名 蔡小娟 学号 0050339007 计算机软件与理论 学科 指导教师 傅育熙 答辩 2009．．05．．1 1 答辩 电信群楼3—416 日期 地点 ● 论文题目 基于Pi演算的编程与表达能力研究 投票表决结果： 厂／厂／歹 (同意票数，实到委员数／应到委员数) 答辩结论：口通过 口未