• DocumentCode
    2023302
  • Title

    Ludics nets, a game model of concurrent interaction

  • Author

    Faggian, Claudia ; Maurel, Francois

  • Author_Institution
    Padova Univ., Italy
  • fYear
    2005
  • fDate
    26-29 June 2005
  • Firstpage
    376
  • Lastpage
    385
  • 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.
  • Keywords
    concurrency theory; formal logic; graph theory; theorem proving; Games Semantics; L-net abstract proof net; Ludics nets; concurrent interaction game model; graph theory; multiplicative additive linear logic; Additives; Bridges; Calculus; Computational modeling; Concurrent computing; Constraint theory; Logic; Parallel processing; Testing; Tree graphs;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Logic in Computer Science, 2005. LICS 2005. Proceedings. 20th Annual IEEE Symposium on
  • ISSN
    1043-6871
  • Print_ISBN
    0-7695-2266-1
  • Type

    conf

  • DOI
    10.1109/LICS.2005.25
  • Filename
    1509243
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2023302