Cited By
View all- Raynal M(2024)Invited Paper: Distributed Computability: A Few Results Masters Students Should KnowDistributed Computing and Intelligent Technology10.1007/978-3-031-81404-4_3(24-44)Online publication date: 31-Dec-2024
- Raynal M(2024)On Distributed Computing: A View, Physical Versus Logical Objects, and a Look at Fully Anonymous SystemsStabilization, Safety, and Security of Distributed Systems10.1007/978-3-031-74498-3_1(3-19)Online publication date: 20-Oct-2024
- Sharma UJung RTassarotti JKaashoek FZeldovich NDruschel PKaufmann AMace JFlinn JSeltzer M(2023)Grove: a Separation-Logic Library for Verifying Distributed SystemsProceedings of the 29th Symposium on Operating Systems Principles10.1145/3600006.3613172(113-129)Online publication date: 23-Oct-2023
- Show More Cited By