Game characterizations of process equivalences

Xin Chen; Yuxin Deng

doi:10.1007/978-3-540-89330-1_8

Game characterizations of process equivalences

Xin Chen^*
, Yuxin Deng

^*Corresponding author for this work

Shanghai Jiao Tong University

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

14 Scopus citations

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.

Original language	English
Title of host publication	Programming Languages and Systems - 6th Asian Symposium, APLAS 2008, Proceedings
Publisher	Springer Verlag
Pages	107-121
Number of pages	15
ISBN (Print)	3540893296, 9783540893295
DOIs	https://doi.org/10.1007/978-3-540-89330-1_8
State	Published - 2008
Externally published	Yes
Event	6th Asian Symposium on Programming Languages and Systems, APLAS 2008 - Bangalore, India Duration: 9 Dec 2008 → 11 Dec 2008

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	5356 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	6th Asian Symposium on Programming Languages and Systems, APLAS 2008
Country/Territory	India
City	Bangalore
Period	9/12/08 → 11/12/08

Access to Document

10.1007/978-3-540-89330-1_8

Cite this

Chen, X., & Deng, Y. (2008). Game characterizations of process equivalences. In Programming Languages and Systems - 6th Asian Symposium, APLAS 2008, Proceedings (pp. 107-121). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5356 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-540-89330-1_8

@inproceedings{8d97b1b5c86a40299a916f7b786ae24e,

title = "Game characterizations of process equivalences",

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.",

author = "Xin Chen and Yuxin Deng",

year = "2008",

doi = "10.1007/978-3-540-89330-1\_8",

language = "英语",

isbn = "3540893296",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "107--121",

booktitle = "Programming Languages and Systems - 6th Asian Symposium, APLAS 2008, Proceedings",

address = "德国",

note = "6th Asian Symposium on Programming Languages and Systems, APLAS 2008 ; Conference date: 09-12-2008 Through 11-12-2008",

}

Chen, X & Deng, Y 2008, Game characterizations of process equivalences. in Programming Languages and Systems - 6th Asian Symposium, APLAS 2008, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 5356 LNCS, Springer Verlag, pp. 107-121, 6th Asian Symposium on Programming Languages and Systems, APLAS 2008, Bangalore, India, 9/12/08. https://doi.org/10.1007/978-3-540-89330-1_8

Game characterizations of process equivalences. / Chen, Xin; Deng, Yuxin.
Programming Languages and Systems - 6th Asian Symposium, APLAS 2008, Proceedings. Springer Verlag, 2008. p. 107-121 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5356 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Game characterizations of process equivalences

AU - Chen, Xin

AU - Deng, Yuxin

PY - 2008

Y1 - 2008

N2 - 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.

AB - 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.

UR - https://www.scopus.com/pages/publications/58549117559

U2 - 10.1007/978-3-540-89330-1_8

DO - 10.1007/978-3-540-89330-1_8

M3 - 会议稿件

AN - SCOPUS:58549117559

SN - 3540893296

SN - 9783540893295

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 107

EP - 121

BT - Programming Languages and Systems - 6th Asian Symposium, APLAS 2008, Proceedings

PB - Springer Verlag

T2 - 6th Asian Symposium on Programming Languages and Systems, APLAS 2008

Y2 - 9 December 2008 through 11 December 2008

ER -

Game characterizations of process equivalences

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this