FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2146242204> ?p ?o ?g. }

• W2146242204 endingPage "411" @default.
• W2146242204 startingPage "395" @default.
• W2146242204 abstract "The notion of innocent strategy was introduced by Hyland and Ong in order to capture the interactive behaviour of λ-terms and PCF programs. An innocent strategy is defined as an alternating strategy with partial memory, in which the strategy plays according to its view. Extending the definition to non-alternating strategies is problematic, because the traditional definition of views is based on the hypothesis that Opponent and Proponent alternate during the interaction. Here, we take advantage of the diagrammatic reformulation of alternating innocence in asynchronous games, in order to provide a tentative definition of innocence in non-alternating games. The task is interesting, and far from easy. It requires the combination of true concurrency and game semantics in a clean and organic way, clarifying the relationship between asynchronous games and concurrent games in the sense of Abramsky and Melliès. It also requires an interactive reformulation of the usual acyclicity criterion of linear logic, as well as a directed variant, as a scheduling criterion." @default.
• W2146242204 created "2016-06-24" @default.
• W2146242204 creator A5071277319 @default.
• W2146242204 creator A5072501930 @default.
• W2146242204 date "2007-08-18" @default.
• W2146242204 modified "2023-10-15" @default.
• W2146242204 title "Asynchronous Games: Innocence Without Alternation" @default.
• W2146242204 cites W1534459283 @default.
• W2146242204 cites W1537177957 @default.
• W2146242204 cites W1544234780 @default.
• W2146242204 cites W1582602188 @default.
• W2146242204 cites W1605309428 @default.
• W2146242204 cites W1971388659 @default.
• W2146242204 cites W1991052229 @default.
• W2146242204 cites W2079171825 @default.
• W2146242204 cites W2094685149 @default.
• W2146242204 cites W2107067818 @default.
• W2146242204 cites W2113988682 @default.
• W2146242204 cites W2126194256 @default.
• W2146242204 cites W2142415843 @default.
• W2146242204 cites W2911865844 @default.
• W2146242204 cites W4205864028 @default.
• W2146242204 cites W4210671891 @default.
• W2146242204 cites W4237376234 @default.
• W2146242204 cites W4241072267 @default.
• W2146242204 doi "https://doi.org/10.1007/978-3-540-74407-8_27" @default.
• W2146242204 hasPublicationYear "2007" @default.
• W2146242204 type Work @default.
• W2146242204 sameAs 2146242204 @default.
• W2146242204 citedByCount "35" @default.
• W2146242204 countsByYear W21462422042012 @default.
• W2146242204 countsByYear W21462422042013 @default.
• W2146242204 countsByYear W21462422042014 @default.
• W2146242204 countsByYear W21462422042015 @default.
• W2146242204 countsByYear W21462422042016 @default.
• W2146242204 countsByYear W21462422042017 @default.
• W2146242204 countsByYear W21462422042018 @default.
• W2146242204 countsByYear W21462422042019 @default.
• W2146242204 countsByYear W21462422042021 @default.
• W2146242204 countsByYear W21462422042022 @default.
• W2146242204 countsByYear W21462422042023 @default.
• W2146242204 crossrefType "book-chapter" @default.
• W2146242204 hasAuthorship W2146242204A5071277319 @default.
• W2146242204 hasAuthorship W2146242204A5072501930 @default.
• W2146242204 hasBestOaLocation W21462422042 @default.
• W2146242204 hasConcept C10138342 @default.
• W2146242204 hasConcept C138885662 @default.
• W2146242204 hasConcept C151319957 @default.
• W2146242204 hasConcept C156325763 @default.
• W2146242204 hasConcept C162324750 @default.
• W2146242204 hasConcept C17744445 @default.
• W2146242204 hasConcept C182306322 @default.
• W2146242204 hasConcept C184337299 @default.
• W2146242204 hasConcept C193702766 @default.
• W2146242204 hasConcept C199360897 @default.
• W2146242204 hasConcept C199539241 @default.
• W2146242204 hasConcept C207648694 @default.
• W2146242204 hasConcept C26826806 @default.
• W2146242204 hasConcept C2777359062 @default.
• W2146242204 hasConcept C28077239 @default.
• W2146242204 hasConcept C31258907 @default.
• W2146242204 hasConcept C41008148 @default.
• W2146242204 hasConcept C41895202 @default.
• W2146242204 hasConcept C80444323 @default.
• W2146242204 hasConcept C9672783 @default.
• W2146242204 hasConceptScore W2146242204C10138342 @default.
• W2146242204 hasConceptScore W2146242204C138885662 @default.
• W2146242204 hasConceptScore W2146242204C151319957 @default.
• W2146242204 hasConceptScore W2146242204C156325763 @default.
• W2146242204 hasConceptScore W2146242204C162324750 @default.
• W2146242204 hasConceptScore W2146242204C17744445 @default.
• W2146242204 hasConceptScore W2146242204C182306322 @default.
• W2146242204 hasConceptScore W2146242204C184337299 @default.
• W2146242204 hasConceptScore W2146242204C193702766 @default.
• W2146242204 hasConceptScore W2146242204C199360897 @default.
• W2146242204 hasConceptScore W2146242204C199539241 @default.
• W2146242204 hasConceptScore W2146242204C207648694 @default.
• W2146242204 hasConceptScore W2146242204C26826806 @default.
• W2146242204 hasConceptScore W2146242204C2777359062 @default.
• W2146242204 hasConceptScore W2146242204C28077239 @default.
• W2146242204 hasConceptScore W2146242204C31258907 @default.
• W2146242204 hasConceptScore W2146242204C41008148 @default.
• W2146242204 hasConceptScore W2146242204C41895202 @default.
• W2146242204 hasConceptScore W2146242204C80444323 @default.
• W2146242204 hasConceptScore W2146242204C9672783 @default.
• W2146242204 hasLocation W21462422041 @default.
• W2146242204 hasLocation W21462422042 @default.
• W2146242204 hasLocation W21462422043 @default.
• W2146242204 hasLocation W21462422044 @default.
• W2146242204 hasLocation W21462422045 @default.
• W2146242204 hasLocation W21462422046 @default.
• W2146242204 hasOpenAccess W2146242204 @default.
• W2146242204 hasPrimaryLocation W21462422041 @default.
• W2146242204 hasRelatedWork W1557509894 @default.
• W2146242204 hasRelatedWork W1971681260 @default.
• W2146242204 hasRelatedWork W2030121500 @default.
• W2146242204 hasRelatedWork W2094685149 @default.
• W2146242204 hasRelatedWork W2107067818 @default.

• next