Distributions of packet delay and interdeparture time in slotted ALOHA and carrier sense multiple access.
A universal interconnection pattern for parallel computers.
Basic digit sets for radix representation.
Semaphore primitives and starvation-free mutual exclusion.
Deadlock avoidance revisited.
On the family of generalized dependency constraints.
Horn clauses and database dependencies.
Data compression via textual substitution.
A theorem in database concurrency control.
On the relationship between LL(1) and LR(1) grammars.
Asymptotically tight bounds on time-space trade-offs in a pebble game.
The Power of Pluralism for Automatic Program Synthesis.
The equivalence problem for some non-real-time deterministic pushdown automata.