Synthesizing Distributed and Parallel Programs through Optimistic Transformations.

Robert E. Strom, Shaula Yemini

Browse the full ICPP paper archive.