Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Computational Mathematics,Geometry and Topology
Reference36 articles.
1. Alistarh, D., Aspnes, J., Ellen, F., et al.: Why extension-based proofs fail. SIAM J. Comput. 52(4), 913–944 (2023)
2. Baltag, A., Moss, L.S., Solecki, S.: The logic of public announcements, common knowledge, and private suspicions. In: Arló-Costa, H., Hendricks, V.F., van Benthem, J. (eds.) Readings in Formal Epistemology: Sourcebook. Springer, chap 39, pp. 773–812 (2016)
3. Baltag, A., Smets, S.: Learning what others know. In: LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, pp. 90–119 (2020)
4. Borowsky, E., Gafni, E.: Generalized FLP impossibility result for t-resilient asynchronous computations. In: Proceedings of the 25th Annual ACM Symposium on Theory of Computing, STOC. ACM, pp. 91–100 (1993a)
5. Borowsky, E., Gafni, E.: Immediate atomic snapshots and fast renaming (extended abstract). In: Proceedings of the 12th Annual ACM Symposium on Principles of Distributed Computing. ACM, pp. 41–51 (1993b)