Using tracing to direct our reasoning about distributed programs.

William S. Lloyd, Phil Kearns

Browse the full ICDCS paper archive.