The π-calculus:a Theory of Mobile Processes

出版社

Cambridge University Press

出版时间

2001

ISBN

0521781779

标注页数

580 页

PDF页数

594 页