Value-Based Sequential Consistency for Set Objects in Dynamic Distributed Systems