Treffer: Decentralized Asynchronous Crash-resilient Runtime Verification.
Title:
Decentralized Asynchronous Crash-resilient Runtime Verification.
Authors:
Source:
Journal of the ACM. Sep2022, Vol. 69 Issue 5, p1-31. 31p.
Database:
Business Source Ultimate