Cellular strategies and innocent interaction

Russ Harmer (1)

1 PPS - Preuves, Programmes et Systèmes

An analysis of the process of interaction between innocent strategies is presented, leading to a new class of cellular strategies with an associated abstract machine, the CPAM, which radically simplifies the usual machines for innocent interaction. A cellularization process, mapping an innocent strategy to a cellular strategy, is then described which allows us to simulate innocent interaction by first cellularizing both strategies then running them in the CPAM

Domaines: Informatique et théorie des jeux [cs.GT]; Logique en informatique [cs.LO]

Russ Harmer. Cellular strategies and innocent interaction. 2007. ⟨hal-00150353⟩