Theory and Practice in Distributed Systems