Astrolabe
ACM Transactions on Computer Systems
Robbert Van Renesse
Werner Vogels
The price of validity in dynamic networks