Game Characterizations of Process Equivalences.

Xin Chen, Yuxin Deng

Browse the full APLAS paper archive.