Astrolabe
ACM Transactions on Computer Systems
Kenneth P. Birman
Werner Vogels
The price of validity in dynamic networks