Search - Archive ouverte HAL Access content directly

Filter your results

2 Results
Author: personID (integer) : 1194010

Decentralized Asynchronous Crash-resilient Runtime Verification

Borzoo Bonakdarpour , Pierre Fraigniaud , Sergio Rajsbaum , David Rosenblueth , Corentin Travers et al.
Journal of the ACM (JACM), 2022, 69 (5), pp.1-31. ⟨10.1145/3550483⟩
Journal articles hal-03871405v1

Decentralized Asynchronous Crash-resilient Runtime Verification

Borzoo Bonakdarpour , Pierre Fraigniaud , Sergio Rajsbaum , David Rosenblueth , Corentin Travers et al.
Journal of the ACM (JACM), 2022, 69 (5), pp.1-31. ⟨10.1145/3550483⟩
Journal articles hal-03872283v1