Quorum — memory consistency for multi-agent systems