A Language-Based Approach to Secure Quorum Replication

   Abstract