Handshake Games

Luca Fossati (1)

1 PPS - Preuves, Programmes et Systèmes

In this paper I present a game model for the semantical analysis of handshake circuits. I show how the model captures effectively the composition of circuits in an associative way. Then I build a compact-closed category of handshake games and handshake strategies. I then consider the language Tangram and I define a semantics for this language simply by giving a denotation in the model to each handshake component that is used in the compilation of Tangram programs.

Mots clés: Game semantics; handshake circuits; nondeterminism; concurrency; associativity.; associativity

Domaines: Logique en informatique [cs.LO]

Luca Fossati. Handshake Games. Developments in Computational Models 2006, May 2007, Venise, Italy. pp.21-41, ⟨10.1016/j.entcs.2006.11.034⟩. ⟨hal-00150688⟩