Non-concurrency Analysis.

Stephen P. Masticola, Barbara G. Ryder

Browse the full PPoPP paper archive.