High-Level Executable Specifications of Distributed Algorithms.

Yanhong A. Liu, Scott D. Stoller, Bo Lin

Browse the full SSS paper archive.