Dana Angluin, James Aspnes, David Eisenstat. Stably computable predicates are semilinear. In Eric Ruppert, Dahlia Malkhi, editors, Proceedings of the Twenty-Fifth Annual ACM Symposium on Principles of Distributed Computing, PODC 2006, Denver, CO, USA, July 23-26, 2006. pages 292-299, ACM, 2006. [doi]
Abstract is missing.