用形式化语言描述通信与并发，非常经典，用逻辑的思维分析计算机系统中的通信并发问题
2021-04-08 16:43:43
16.34MB
1