On specification of Read/Write shared variables.
A testing scenario for probabilistic processes.
Time lower bounds for implementations of multi-writer snapshots.
Equivalence between priority queues and sorting.
On counting homomorphisms to directed acyclic graphs.
Priority sampling for estimation of arbitrary subset sums.