3 works on record
Stabilization, Safety, and Security of Distributed Systems
Replication Pt. II
Concurrent Programming