Search Results for 'top tid'

top tid published presentations and documents on DocSlides.

Reasoning about Optimistic Concurrency Using a Program Logi

by pasty-toler

Ming Fu. USTC & Yale. Joint work with Yong Li...