交互作用、博弈和协议国际研讨会
Proceedings International Workshop on Interactions, Games and Protocols
摘要：
iWIGP研讨会的重点是交互、游戏和协议之间的相互关系。计算机科学如何处理非确定性交互，即系统所采取的动作不（完全）由系统所参与的交互决定？在计算机科学中，非确定性交互通常用协议来描述。然而，这些互动也可以被视为游戏。正如预期的那样，游戏已经成为一个越来越重要的建模工具，无论是涉及不确定性的相互作用-从游戏语义和反应系统的基础，在通信协议和电子商务应用程序的应用。本次研讨会的目标是将工业界和学术界的研究人员聚集在一起，探讨如何更好地理解交互，游戏和协议之间的相互关系，从而设计出更好，更可靠的非确定性交互系统。iWIGP 2011与ETAPS 2011在德国萨尔布吕肯举行。该方案包括Kim Larsen、Marielle Stoelinga和Viktor Kuncak的三次特邀演讲，以及由一个具有国际声誉的强有力的方案委员会选出的五篇经过评审的论文。本卷收录了所审阅的论文。
英文摘要：
The focus of the iWIGP workshop is the interrelation between interactions, games and protocols. How does computer science deal with nondeterministic interactions where the actions a system takes are not (completely) determined by the interactions the system is involved in? In computer science, nondeterministic interactions are usually described by protocols. However, these interactions can also be viewed as games. As to be expected, games have become an increasingly important modeling tool wherever nondeterministic interactions are involved -- from foundations in game semantics and reactive systems to applications in communication protocols and electronic business applications. The goal of this workshop has been to bring researchers from industry and academia together and to explore how a better understanding of the interrelation between interactions, games and protocols leads to better-designed and more reliable nondeterministic interacting systems. iWIGP 2011 was collocated with ETAPS 2011 in Saarbruecken, Germany. The programme consisted of three invited talks, by Kim Larsen, Marielle Stoelinga and Viktor Kuncak, and five refereed papers, selected by a strong programme committee of international reputation. The refereed papers are contained in this volume.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
