A Formal Framework for Predicting Distributed System Performance under Faults (Extended Version)
arXiv:2602.19088v2 Announce Type: replace Abstract: Today's distributed systems operate in complex environments that inevitably involve faults and even adversarial behaviors. Predicting their performance under such...