并发程序的科学
2024-12-01
Leslie Lamport的著作《并发程序的科学》即将由剑桥大学出版社出版。最终版PDF版本现已发布，同时提供的还有支持材料，其中包含书中许多示例的TLA+规范以及如何使用它们的说明。该PDF版本受版权保护，未经作者或出版商事先书面许可，不得出于商业目的或个人使用以外的任何目的进行复制或分发。
未分类
Leslie Lamport