Systems level liveness with extempore.

Andrew Sorensen, Henry J. Gardner

Browse the full OOPSLA paper archive.