A Primary-Backup Protocol for In-Memory Database Replication | IEEE Conference Publication | IEEE Xplore