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 a formalism over data words, i.e., elements of (Σ×D)∗ where Σ is a fi...
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...