Basics Lab
Home
>
Summer School
> [BASICS'05]
基本情况
主题：
并发计算理论及其应用
Topic:
Theory and Applicantion of Concurrency
时间：
2005年8月16日至21日
地点：
扬州大学
主办单位：
上海交通大学、南京大学、同济大学、扬州大学
组织
程序委员会：
主席 傅育熙教授
报告人及内容
傅育熙 (Fu Yuxi)
: CCS, π-calculus, Ambient Calculus
陈仪香 (Chen Yixiang)
: 概率进程演算
李舟军 (Li Zhoujun): Symbolic Semantics
蒋昌俊 (Jiang Changjun): Petri Net
活动
扬州一日游；南京一日游；镇江一日游
精彩剪辑：课上和活动
照片
Last updated: April 9, 2007