|
Published: 20th February 2012 DOI: 10.4204/EPTCS.78 ISSN: 2075-2180 |
| Preface | |
| Computing Nash Equilibrium in Wireless Ad Hoc Networks: A Simulation-Based Approach Peter Bulychev, Alexandre David, Kim G. Larsen, Axel Legay and Marius Mikučionis | 1 |
| A Cryptographic Moving-Knife Cake-Cutting Protocol Yoshifumi Manabe and Tatsuaki Okamoto | 15 |
| Processes, Roles and Their Interactions Johannes Reich | 24 |
| Rich Counter-Examples for Temporal-Epistemic Logic Model Checking Simon Busard and Charles Pecheur | 39 |
This volume contains the proceedings of the second International Workshop on Interactions, Games and Protocols (IWIGP 2012). The workshop was held in Tallinn on March 25, 2012, as a satellite event of ETAPS 2012. The previous workshop took place in Saarbrücken as part of ETAPS 2011.
The goal of this workshop was 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 interacting systems. We invited scientific contributions both from a theoretical and a practical perspective.
The program consisted of two invited talks and four refereed papers, selected by a strong program committee of international reputation. The refereed papers are contained in this volume.
Special thanks go to the invited speakers
for presenting at the workshop. We also thank the members of the program committee for their excellent work in putting together an exciting workshop programme. In alphabetical order:
We thank the organizers of ETAPS 2012 for their support and the EPTCS editorial board for publishing the proceedings. And, last but not least, we thank all participants for attending the IWIGP 2012 workshop.
Bernd Finkbeiner and Johannes Reich