文件名称: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
文件名称: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