文件名称：Algebra of Communicating Processes
文件大小：3.96MB
文件格式：RAR
更新时间：2015-01-01 05:25:47
AlgebraofCommunicatingProcesses 进程代数 ACP
Algebra of Communicating Processes英文版 Bergstra and Klop 进程代数重要分支之一。
【文件预览】：
Algebra of Communicating Processes.pdf
Algebra of Communicating Processes
【文件属性】：
【文件预览】：
Algebra of Communicating Processes.pdf
【文件预览】：
Algebra of Communicating Processes.pdf