Cutoff Theorems for the Model Checking of Crash-Tolerant Causal Broadcast.
Saved in:
| 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 |
| ISSN: | 14324350 |
|---|---|
| DOI: | 10.1007/s00224-026-10283-w |
