A condition for k-set agreement in asynchronous distributed systems | IEEE Conference Publication | IEEE Xplore