Contention resolution without collision detection (Proceedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing)