Logic in Computer Science (LICS 2005)

Paper: Ludics Nets, a game Model of Concurrent Interaction (at LICS 2005)

Authors: Claudia Faggian Francois Maurel

Abstract

We introduce L-nets as a game model of concurrent interaction. L-nets, which correspond to strategies (in Games Semantics) or designs (in Ludics), are graphs, and the interactions (plays) result into partial orders, hence allowing for parallelism.

BibTeX

  @InProceedings{FaggianMaurel-LudicsNetsagameMode,
    author = 	 {Claudia Faggian and Francois Maurel},
    title = 	 {Ludics Nets, a game Model of Concurrent Interaction},
    booktitle =  {Proceedings of the Twentieth Annual IEEE Symp. on Logic in Computer Science, {LICS} 2005},
    year =	 2005,
    editor =	 {Prakash Panangaden},
    month =	 {June}, 
    pages =      {376--385},
    location =   {Chicago, USA}, 
    publisher =	 {IEEE Computer Society Press}
  }