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

Saved in:
Bibliographic Details
Title: Cutoff Theorems for the Model Checking of Crash-Tolerant Causal Broadcast.
Authors: NamvariTazehkand, Leila1, l.namvari@tabrizu.ac.ir, Pashazadeh, Saeid2, pashazadeh@tabrizu.ac.ir, Ebnenasir, Ali3, aebnenas@mtu.edu
Source: Theory of Computing Systems; Jun2026, Vol. 70 Issue 2, p1-50, 50p
Database: Applied Science & Technology Source
Description
ISSN:14324350
DOI:10.1007/s00224-026-10283-w