Process Equivalence Game