Cited By
View all- Gramoli VNicolaou NSchwarzmann A(2021)Consistent Distributed StorageSynthesis Lectures on Distributed Computing Theory10.2200/S01069ED1V01Y202012DCT01720:1(1-192)Online publication date: 28-Jun-2021
- Hsieh CMitra S(2019)Dione: A Protocol Verification System Built with Dafny for I/O AutomataIntegrated Formal Methods10.1007/978-3-030-34968-4_13(227-245)Online publication date: 22-Nov-2019
- Feldmann MKolb CScheideler CStrothmann T(2018)Self-Stabilizing Supervised Publish-Subscribe Systems2018 IEEE International Parallel and Distributed Processing Symposium (IPDPS)10.1109/IPDPS.2018.00114(1050-1059)Online publication date: May-2018
- Show More Cited By