EagleBear2002 的博客

08-08

1.1-做一个勇敢的法律人

08-08

0-代序：法律人的热点写作

08-05

功利主义

08-05

TLA+

08-05

辩证看待 05-有利益考量，也要有理想情怀

08-05

辩证看待 04-有“批判精神”，也要有“建设心态”

08-05

辩证看待 03-有个体意识，也要有全局观念

08-04

辩证看待 02-有“权利意识” 也要有“法治观念”

08-04

辩证看待 01-有“问题意识”，也要有“过程意识”

07-10

POPL'19-Pretend Synchrony-Synchronous Verification of Asynchronous Distributed Programs