Matches in SemOpenAlex for { <https://semopenalex.org/work/W2899662671> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2899662671 endingPage "30" @default.
- W2899662671 startingPage "1" @default.
- W2899662671 abstract "Game semantics is the art of interpreting types as games and programs as strategies interacting in space and time with their environment. In order to reflect the interactive behavior of programs, strategies are required to follow specific scheduling policies. Typically, in the case of a purely sequential programming language, the program (Player) and its environment (Opponent) will play one after the other, in a strictly alternating way. On the other hand, in the case of a concurrent language, Player and Opponent will be allowed to play several moves in a row, in a non-alternating way. In both cases, the scheduling policy is designed very carefully in order to ensure that the strategies synchronize properly and compose well when plugged together. A longstanding conceptual problem has been to understand when and why a given scheduling policy works and is compositional in that sense. In this paper, we exhibit a number of simple and fundamental combinatorial structures which ensure that a given scheduling policy encoded as synchronization template defines a symmetric monoidal closed (and in fact star-autonomous) bicategory of games, strategies and simulations. To that purpose, we choose to work at a very general level, and illustrate our method by constructing two template game models of linear logic with different flavors (alternating and non-alternating) using the same categorical combinatorics, performed in the category of small categories. As a whole, the paper may be seen as a hymn in praise of synchronization, building on the notion of synchronization algebra in process calculi and adapting it smoothly to programming language semantics, using a combination of ideas at the converging point of game semantics and of categorical algebra." @default.
- W2899662671 created "2018-11-16" @default.
- W2899662671 creator A5072501930 @default.
- W2899662671 date "2019-01-02" @default.
- W2899662671 modified "2023-10-18" @default.
- W2899662671 title "Categorical combinatorics of scheduling and synchronization in game semantics" @default.
- W2899662671 cites W1995251574 @default.
- W2899662671 cites W2000806582 @default.
- W2899662671 cites W2024189573 @default.
- W2899662671 cites W2088862781 @default.
- W2899662671 cites W2090319048 @default.
- W2899662671 cites W2099741610 @default.
- W2899662671 cites W2125249767 @default.
- W2899662671 cites W2165446401 @default.
- W2899662671 cites W2798452697 @default.
- W2899662671 cites W2907662585 @default.
- W2899662671 cites W2911865844 @default.
- W2899662671 doi "https://doi.org/10.1145/3290336" @default.
- W2899662671 hasPublicationYear "2019" @default.
- W2899662671 type Work @default.
- W2899662671 sameAs 2899662671 @default.
- W2899662671 citedByCount "9" @default.
- W2899662671 countsByYear W28996626712019 @default.
- W2899662671 countsByYear W28996626712020 @default.
- W2899662671 countsByYear W28996626712021 @default.
- W2899662671 countsByYear W28996626712022 @default.
- W2899662671 countsByYear W28996626712023 @default.
- W2899662671 crossrefType "journal-article" @default.
- W2899662671 hasAuthorship W2899662671A5072501930 @default.
- W2899662671 hasBestOaLocation W28996626711 @default.
- W2899662671 hasConcept C126255220 @default.
- W2899662671 hasConcept C156325763 @default.
- W2899662671 hasConcept C184337299 @default.
- W2899662671 hasConcept C199360897 @default.
- W2899662671 hasConcept C206729178 @default.
- W2899662671 hasConcept C207648694 @default.
- W2899662671 hasConcept C33923547 @default.
- W2899662671 hasConcept C41008148 @default.
- W2899662671 hasConcept C80444323 @default.
- W2899662671 hasConcept C9672783 @default.
- W2899662671 hasConceptScore W2899662671C126255220 @default.
- W2899662671 hasConceptScore W2899662671C156325763 @default.
- W2899662671 hasConceptScore W2899662671C184337299 @default.
- W2899662671 hasConceptScore W2899662671C199360897 @default.
- W2899662671 hasConceptScore W2899662671C206729178 @default.
- W2899662671 hasConceptScore W2899662671C207648694 @default.
- W2899662671 hasConceptScore W2899662671C33923547 @default.
- W2899662671 hasConceptScore W2899662671C41008148 @default.
- W2899662671 hasConceptScore W2899662671C80444323 @default.
- W2899662671 hasConceptScore W2899662671C9672783 @default.
- W2899662671 hasIssue "POPL" @default.
- W2899662671 hasLocation W28996626711 @default.
- W2899662671 hasLocation W28996626712 @default.
- W2899662671 hasLocation W28996626713 @default.
- W2899662671 hasLocation W28996626714 @default.
- W2899662671 hasLocation W28996626715 @default.
- W2899662671 hasLocation W28996626716 @default.
- W2899662671 hasLocation W28996626717 @default.
- W2899662671 hasOpenAccess W2899662671 @default.
- W2899662671 hasPrimaryLocation W28996626711 @default.
- W2899662671 hasRelatedWork W1513662453 @default.
- W2899662671 hasRelatedWork W2012369158 @default.
- W2899662671 hasRelatedWork W2097622502 @default.
- W2899662671 hasRelatedWork W2244075056 @default.
- W2899662671 hasRelatedWork W2982674701 @default.
- W2899662671 hasRelatedWork W2991618286 @default.
- W2899662671 hasRelatedWork W323219885 @default.
- W2899662671 hasRelatedWork W4300686217 @default.
- W2899662671 hasRelatedWork W598950423 @default.
- W2899662671 hasRelatedWork W2788308474 @default.
- W2899662671 hasVolume "3" @default.
- W2899662671 isParatext "false" @default.
- W2899662671 isRetracted "false" @default.
- W2899662671 magId "2899662671" @default.
- W2899662671 workType "article" @default.