Verifying distributed systems: the operational approach (2009)

by T Ridge
Venue:In ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages