N Soundararajan
-
P-A logic: a compositional proof system for distributed programs
Distributed Computing