Author:
Fraigniaud Pierre,Rajsbaum Sergio,Travers Corentin
Publisher
Springer Berlin Heidelberg
Cited by
13 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. Formal analysis of control and termination of distributed computation in weaker spaces;Cogent Engineering;2018-01-01
3. Decidability classes for mobile agents computing;Journal of Parallel and Distributed Computing;2017-11
4. Lattice Based Consistent Slicer and Topological Cut for Distributed Computation in Monotone Spaces;Beyond Databases, Architectures and Structures. Towards Efficient Solutions for Data Analysis and Knowledge Representation;2017
5. Distributed Algorithms;Computing Handbook, Third Edition;2014-05-08