5 citations · 18 across the 9 of their papers we have counts for
Showing cs.GTShow all
2 papers · 1 filter
cs.GT2012★ 1 cited
Proceedings Second International Workshop on Interactions, Games and Protocols
Johannes Reich, Bernd Finkbeiner
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…
cs.GT2011★ 1 cited
Proceedings International Workshop on Interactions, Games and Protocols
Johannes Reich, Bernd Finkbeiner
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…