Bounded concurrrent time-stamp systems are constructible

D. Dolev, N. Shavit
1989 Proceedings of the twenty-first annual ACM symposium on Theory of computing - STOC '89  
0 1989 ACM 0-89791-305'~8/89/000.5/0454 $1.50
doi:10.1145/73007.73051 dblp:conf/stoc/DolevS89 fatcat:ka5xnt775jew7hvx6exjlhow3y