146 citations
- Centre National de la Recherche ScientifiqueFR9 papers
- European Organization for Nuclear ResearchCH9 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di CataniaIT9 papers
- Heidelberg UniversityDE7 papers
- Rutherford Appleton LaboratoryGB7 papers
- Imperial College LondonGB6 papers
- Institut National de Physique Nucléaire et de Physique des ParticulesFR6 papers
- Laboratoire d’Annecy de Physique des ParticulesFR6 papers
- Tunis UniversityTN6 papers
- Harvard UniversityUS5 papers
- University of GenevaCH5 papers
- Fermi National Accelerator LaboratoryUS4 papers
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…