ccs: A Calculus of Communicating Systems

【文件属性】：

文件名称：ccs: A Calculus of Communicating Systems

文件大小：7.68MB

文件格式：PDF

更新时间：2015-11-13 03:59:24

ccs process algebra

A Calculus of Communicating Systems, Author: Robin Milner © by Springer-Verlag Berlin Heidelberg 1980