In this section we introduce visibly pushdown class memory automata (VPCMA), which will be a convenient mechanism for capturing the game-semantic scenarios discussed at the end of the previous section. VPCMA are
1, the selector device communicates via physical transport mechanism 16 with an interface 18 housed in enclosure 10. Relevant physical transport mechanisms 16 include but are not limited to infra-red, micro-wave and other similar wireless transport layers, as well as wires and optical fiber. The...