Cited By
View all- Kim B(2024)VConMC: Enabling Consistency Verification for Distributed Systems Using Implementation-Level Model Checkers and Consistency OraclesElectronics10.3390/electronics1306115313:6(1153)Online publication date: 21-Mar-2024
- Ferreira Loff JPorto DGarcia JMace JRodrigues RDruschel PKaufmann AMace JFlinn JSeltzer M(2023)Antipode: Enforcing Cross-Service Causal Consistency in Distributed ApplicationsProceedings of the 29th Symposium on Operating Systems Principles10.1145/3600006.3613176(298-313)Online publication date: 23-Oct-2023
- Cao YCao JBai DHu ZWang KZhang M(2023)PolyVerse: An Edge Computing-Empowered Metaverse with Physical-to-Virtual Projection2023 International Conference on Intelligent Metaverse Technologies & Applications (iMETA)10.1109/iMETA59369.2023.10294558(1-8)Online publication date: 18-Sep-2023
- Show More Cited By