The paper Arbitration-Free Consistency is Available (and Vice Versa), with Constantin Enea and Enrique Román-Calvo was accepted to POPL 2026. arxiv
The paper shows that a distributed object has an available implementation (where operations can be answered based on local information) if and only if its consistency model does not require a total arbitration order to resolve visibility or read dependencies.