• DocumentCode
    2545353
  • Title

    Concurrent Strategies

  • Author

    Rideau, Silvain ; Winskel, Glynn

  • Author_Institution
    Ecole Normale Super. de Paris, Paris, France
  • fYear
    2011
  • fDate
    21-24 June 2011
  • Firstpage
    409
  • Lastpage
    418
  • Abstract
    A bi category of very general nondeterministic concurrent games and strategies is presented. The intention is to formalize distributed games in which both Player (or a team of players) and Opponent (or a team of opponents) can interact in highly distributed fashion, without, for instance, enforcing that their moves alternate.
  • Keywords
    game theory; concurrent strategies; distributed fashion; formalize distributed games; nondeterministic concurrent games; Computational modeling; Distributed algorithms; Games; Positron emission tomography; Semantics; Synchronization; Tensile stress; Games; concurrency; event structure; strategy;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Logic in Computer Science (LICS), 2011 26th Annual IEEE Symposium on
  • Conference_Location
    Toronto, ON
  • ISSN
    1043-6871
  • Print_ISBN
    978-1-4577-0451-2
  • Electronic_ISBN
    1043-6871
  • Type

    conf

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