@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",
}