Author:
Bonakdarpour Borzoo,Fraigniaud Pierre,Rajsbaum Sergio,Travers Corentin
Publisher
Springer International Publishing
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Asynchronous Wait-Free Runtime Verification and Enforcement of Linearizability;Proceedings of the 2023 ACM Symposium on Principles of Distributed Computing;2023-06-16
2. On Decentralized Monitoring;Lecture Notes in Computer Science;2022
3. Decentralized LTL Enforcement;Electronic Proceedings in Theoretical Computer Science;2021-09-17
4. On the Monitoring of Decentralized Specifications;ACM Transactions on Software Engineering and Methodology;2020-01-31
5. A lower bound on the number of opinions needed for fault-tolerant decentralized run-time monitoring;Journal of Applied and Computational Topology;2020-01-09