Using Tractable and Realistic Churn Models to Analyze Quiescence Behavior of Distributed Protocols | IEEE Conference Publication | IEEE Xplore