tlooto
Sign up
Distributed systems and fault toleranceFormal Methods in VerificationLogic, Reasoning, and Knowledge

Cutoff Theorems for the Model Checking of Crash-Tolerant Causal Broadcast

Leila NamvariTazehkand, S. Pashazadeh, Ali Ebnenasir

2026.6.1THEORY OF COMPUTING SYSTEMS

DOI: 10.1007/s00224-026-10283-w

Abstract

Abstract is not available.

Citation format

NAMVARITAZEHKAND, Leila; PASHAZADEH, S.; EBNENASIR, Ali. Cutoff theorems for the model checking of crash-tolerant causal broadcast. THEORY OF COMPUTING SYSTEMS, 2026, 70(2).