Game Characterizations of Process Equivalences

Authors:
Xin Chen;Yuxin Deng
Affiliations:
Department of Computer Science and Engineering, Shanghai Jiao Tong University, China;Department of Computer Science and Engineering, Shanghai Jiao Tong University, China
Venue:
APLAS '08 Proceedings of the 6th Asian Symposium on Programming Languages and Systems
Year:
2008

Citing 9
Cited 1

Algebraic laws for nondeterminism and concurrency

Journal of the ACM (JACM)
Communication and concurrency

Communication and concurrency
Modal and temporal logics for processes

Proceedings of the VIII Banff Higher order workshop conference on Logics for concurrency : structure versus automata: structure versus automata
Games and Modal Mu-Calculus

TACAs '96 Proceedings of the Second International Workshop on Tools and Algorithms for Construction and Analysis of Systems
On the Ehrenfeucht-Fraïssé Game in Theoretical Computer Science

TAPSOFT '93 Proceedings of the International Joint Conference CAAP/FASE on Theory and Practice of Software Development
The Linear Time-Branching Time Spectrum (Extended Abstract)

CONCUR '90 Proceedings of the Theories of Concurrency: Unification and Extension
HORNSAT, Model Checking, Verification and games (Extended Abstract)

CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
A Logical Viewpoint on Process-Algebraic Quotients

CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic
Lokal Model Checking Games

CONCUR '95 Proceedings of the 6th International Conference on Concurrency Theory

Defining distances for all process semantics

FMOODS'12/FORTE'12 Proceedings of the 14th joint IFIP WG 6.1 international conference and Proceedings of the 32nd IFIP WG 6.1 international conference on Formal Techniques for Distributed Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.