Replicated abstract data types: Building blocks for collaborative applications