Game Characterizations of Process Equivalences

In this paper we propose a hierarchy of games that allows us to make a systematic comparison of process equivalences by characterizing process equivalences as games. The well-known linear/branching time hierarchy of process equivalences can be embedded into the game hierarchy, which not only provides us with a refined analysis of process equivalences, but also offers a guidance to defining interesting new process equivalences.

• Type: Conference
• Year: 2008
• Where: APLAS
• Authors: Xin Chen, Yuxin Deng
• Keywords: APLAS 2008, Game Hierarchy, Linear/branching Time Hierarchy, Process Equivalences, Programming Languages