Journal of the ACM
Collection
Collection
Published by Association for Computing Machinery
-
Contributions to the theory of logic programming Article
Journal of the ACM, 841-862.January 1982
-
Formal justification of a proof system for communication sequential processes Article
Journal of the ACM, 197-216.January 1983
-
Countable nondeterminism and random assignment Article
Journal of the ACM, 724-767.January 1986
-
The meaning of negative premises in transition system specifications Article
Journal of the ACM, 43(5), 863-914.January 1996 -
How to share concurrent wait-free variables Article
Journal of the ACM, 43(4), 723-746.July 1996 -
Two heads are better than two tapes Article
Journal of the ACM, 44(2), 237-256.January 1997 -
Mutual search Article
Journal of the ACM, 46(4), 517-536.H.M. Buhrman (Harry), M. Franklin, J.A. Garay, J.H. Hoepman (Jaap-Henk), J.T. Tromp (John) and P.M.B. Vitányi (Paul)
January 1999 -
A lower bound on the average-case complexity of Shellsort Article
Journal of the ACM, 47(5), 905-911.January 2000