#leslie

莱斯利·兰波特的作品
The Writings of Leslie Lamport(lamport.azurewebsites.net)
2020-5-29 8:40
实时非常简单Microsoft Research TechnicalReport MSR-TR-2005-30(2005年3月4日)。在系统设计中被FormalMethods拒绝。可用性在线应该很明显，不需要特殊的逻辑或语言来编写实时规范或对其进行推理。有一种简单的方法可以做到这一点：只需使用变量来表示时间。马丁·阿......