intro to ccs

【文件属性】：

文件名称：intro to ccs

文件大小：504KB

文件格式：PDF

更新时间：2013-04-25 15:02:33

ccs

An Introduction to Milner’s CCS Luca Aceto Kim G. Larsen Anna Ing´olfsd´ottir BRICS, Department of Computer Science Aalborg University 9220 Aalborg Ø, Denmark