TLC-CMD: 在命令行中更方便地运行TLC
分布共享内存模型下Atomic Register实现的优化与下界
A Theoretical View of Distributed Systems - Nancy Lynch
Testing Distributed Systems with Deterministic Simulation (Markus Pilman)
南京大学2015届本科毕业纪念微电影——《致过去、现在、未来的你》
南京大学2018年院系毕业视频
南京大学2018年毕业微电影
南京大学2016宣传片
[Lamport访谈] The Man Who Revolutionized Computer Science With Math
南京大学2018毕业季师长寄语
偏序集与格理论-及其在分布式系统中的应用
南京大学专业宣传片(物理学类专业,2019版)
南京大学专业宣传片(数学类专业,2019版)
南京大学校歌 (青春版)
南京大学专业宣传片(环境科学与工程专业,2019版)
南京大学专业宣传片(化学类专业,2019版)
南京大学专业宣传片(社会学专业,2019版)
南京大学计算机系宣传片
南京大学2018年本科招生宣传片
Gain confidence in system correctness & resilience with formal methods