Handshake Games |
| |
Authors: | Luca Fossati |
| |
Affiliation: | aDipartimento di Informatica, Università di Torino, Torino, Italia |
| |
Abstract: | 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. |
| |
Keywords: | Game semantics handshake circuits nondeterminism concurrency associativity |
本文献已被 ScienceDirect 等数据库收录! |
|