Stochastic Modeling of Dynamic Distributed Systems with Crash Recovery and Its Application to Atomic Registers.

Silvia Bonomi, Andreas Klappenecker, Hyunyoung Lee, Jennifer L. Welch

Browse the full OPODIS paper archive.