Johannes Reich Bernd Finkbeiner Proceedings Second International Workshop on Interactions, Games and Protocols IWIGP http://dx.doi.org/10.4204/EPTCS.78 2012 EPTCS 78 db/series/eptcs/eptcs78.html