What Processes Know: Definitions and Proof Methods (Preliminary Version).

Shmuel Katz, Gadi Taubenfeld

Browse the full PODC paper archive.