文件名称：An introduction to process calculi
文件大小：126KB
文件格式：PDF
更新时间：2013-06-23 14:13:09
CCS
进程代数课程An introduction to process calculi:Calculus of Communicating Systems (CCS) Lecture 2 of Modelli Matematici dei Processi Concorrenti University of Southampton, UK