Decentralized Asynchronous Crash-resilient Runtime Verification

From MaRDI portal

Publication:5889779

Jump to:navigation, search

DOI10.1145/3550483OpenAlexW4297830930MaRDI QIDQ5889779

David A. Rosenblueth, Pierre Fraigniaud, Borzoo Bonakdarpour, Sergio Rajsbaum, Corentin Travers

Publication date: 27 April 2023

Published in: Journal of the ACM (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/3550483

zbMATH Keywords

model checking temporal logic distributed computing runtime verification distributed monitoring linear-time logic fault-tolerant verification wait-free tasks

Mathematics Subject Classification ID

Computer science (68-XX)

Related Items (1)

Asynchronous Wait-Free Runtime Verification and Enforcement of Linearizability

This page was built for publication: Decentralized Asynchronous Crash-resilient Runtime Verification

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5889779&oldid=30760536"