Handshake Games

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.

• Type: Journal
• Year: 2007
• Where: ENTCS
• Authors: Luca Fossati
• Keywords: ENTCS 2007, Handshake, Handshake Circuits, Handshake Games