Department of Computer Science & Engineering

In this paper, we present a generalization of the threshold model for process replication for a model of dependent process failures. This model is based on two abstractions, called cores and survivor sets. We show two equivalent properties that assume cores and survivor sets, and use these properties to derive lower bounds for process replication. We also conjecture that a class of protocols in distributed computing can be be automatically translated to our model by simply modifying predicates in these protocols.

Pre-2018 CSE ID: CS2003-0743