通信与移动系统：π演算 = Communicating and mobile systems:the π-calculus

Main Authors: 英 米勒 R (著); 英 Milner Robin (著)
Group Author: 林惠民 (译); 柳欣欣 (译); 刘佳 (译); 屈楠 (译)
Published: 清华大学出版社
Publication Dates: 2009
Call Number: TN914/9945