Bounded concurrent time stamps systems are constructible (1989)

by D Dolev, N Shavit
Venue:In Proc. 21st ACM Symp. on Theory of Computing. ACM SIGACT, ACM