title: a new approach to developing and implementing eager database replication protocols b kemme , g alonso acm trans . database syst . 2000. authors: nan. venue: nan. year: nan
title: a new approach to protocol validation p zafiropulo proc .. authors: nan. venue: nan. year: nan