Dual-Quorum: A Highly Available and Consistent Replication System for Edge Services | IEEE Journals & Magazine | IEEE Xplore