NETWORK ROUTING MODELLED BY GAME SEMANTICS

An important task in network routing is to nd the best path for message passing through the computer networks. In our paper we show how network routing can be described by linear logic formulae and modeled as a game tree in terms of game semantics.

[1]  Dale Miller,et al.  An Overview of Linear Logic Programming , 2003 .

[2]  Viliam Slodičák.  Some useful structures for categorical approach for program behavior , 2010 .

[3]  José Meseguer,et al.  From Petri Nets to Linear Logic , 1989, Category Theory and Computer Science.

[4]  Aleksandar Dimovski,et al.  Assume-Guarantee Software Verification Based on Game Semantics , 2006, ICFEM.

[5]  Rüdiger Valk,et al.  Petri nets for systems engineering - a guide to modeling, verification, and applications , 2010 .

[6]  Jean-Yves Girard,et al.  Linear logic: its syntax and semantics , 1995 .

[7]  Thomas Streicher,et al.  Games semantics for linear logic , 1991, [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science.

[8]  Mutsunori Banbara,et al.  Compiling Resources in a Linear Logic Programming Language , 1998, Implementation Technology for Programming Languages based on Logic.

[9]  Dan R. Ghica.  Applications of Game Semantics: From Program Analysis to Hardware Synthesis , 2009, 2009 24th Annual IEEE Symposium on Logic In Computer Science.

[10]  Andreas Blass,et al.  A Game Semantics for Linear Logic , 1992, Ann. Pure Appl. Log..

[11]  Hans Peters,et al.  Game Theory: A Multi-Leveled Approach , 2008 .

[12]  Simon Ambler.  First order linear logic in symmetric monoidal closed categories , 1991 .

[13]  Andreas Blass.  Is Game Semantics Necessary? , 1993, CSL.

[14]  Olivier Delande.  Symmetric dialogue games in the proof theory of linear logic , 2009 .

[15]  S. Abramsky.  Semantics of Interaction: an introduction to Game Semantics , 1997 .