Games and Protocols

• Protocols as products of Automata or Reactive systems. Extend the approximation to traces, so that close traces assure close behaviors.
  
• Protocols as a N-players game. Properties of the Nash equilibria are mostly NP-hard. In some cases, such as finite support, they can be approximated.
  
• Protocols as Evolutionary games.