【文件属性】:
文件名称: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