Matches in SemOpenAlex for { <https://semopenalex.org/work/W4200481391> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W4200481391 endingPage "295" @default.
- W4200481391 startingPage "278" @default.
- W4200481391 abstract "In this paper, we introduce open parity games, which is a compositional approach to parity games. This is achieved by adding open ends to the usual notion of parity games. We introduce the category of open parity games, which is defined using standard definitions for graph games. We also define a graphical language for open parity games as a prop, which have recently been used in many applications as graphical languages. We introduce a suitable semantic category inspired by the work by Grellois and Melli`es on the semantics of higher-order model checking. Computing the set of winning positions in open parity games yields a functor to the semantic category. Finally, by interpreting the graphical language in the semantic category, we show that this computation can be carried out compositionally." @default.
- W4200481391 created "2021-12-31" @default.
- W4200481391 creator A5013382452 @default.
- W4200481391 creator A5026592834 @default.
- W4200481391 creator A5045329864 @default.
- W4200481391 creator A5072416125 @default.
- W4200481391 date "2021-12-29" @default.
- W4200481391 modified "2023-09-30" @default.
- W4200481391 title "A Compositional Approach to Parity Games" @default.
- W4200481391 cites W1504976549 @default.
- W4200481391 cites W1514879827 @default.
- W4200481391 cites W1564580204 @default.
- W4200481391 cites W1605626978 @default.
- W4200481391 cites W1795516371 @default.
- W4200481391 cites W1797049789 @default.
- W4200481391 cites W1969279113 @default.
- W4200481391 cites W2022595765 @default.
- W4200481391 cites W2074585352 @default.
- W4200481391 cites W2101032471 @default.
- W4200481391 cites W2102357532 @default.
- W4200481391 cites W2104298332 @default.
- W4200481391 cites W2136544532 @default.
- W4200481391 cites W2137467159 @default.
- W4200481391 cites W2153731375 @default.
- W4200481391 cites W2177831262 @default.
- W4200481391 cites W2339107952 @default.
- W4200481391 cites W2886790899 @default.
- W4200481391 cites W2900110008 @default.
- W4200481391 cites W2950680614 @default.
- W4200481391 cites W2964300838 @default.
- W4200481391 cites W2965266081 @default.
- W4200481391 cites W3099407508 @default.
- W4200481391 cites W3100624102 @default.
- W4200481391 cites W3105507374 @default.
- W4200481391 cites W3121693131 @default.
- W4200481391 cites W3125045354 @default.
- W4200481391 cites W3146630147 @default.
- W4200481391 cites W4241220941 @default.
- W4200481391 doi "https://doi.org/10.4204/eptcs.351.17" @default.
- W4200481391 hasPublicationYear "2021" @default.
- W4200481391 type Work @default.
- W4200481391 citedByCount "1" @default.
- W4200481391 countsByYear W42004813912023 @default.
- W4200481391 crossrefType "journal-article" @default.
- W4200481391 hasAuthorship W4200481391A5013382452 @default.
- W4200481391 hasAuthorship W4200481391A5026592834 @default.
- W4200481391 hasAuthorship W4200481391A5045329864 @default.
- W4200481391 hasAuthorship W4200481391A5072416125 @default.
- W4200481391 hasBestOaLocation W42004813911 @default.
- W4200481391 hasConcept C109214941 @default.
- W4200481391 hasConcept C121332964 @default.
- W4200481391 hasConcept C132525143 @default.
- W4200481391 hasConcept C184337299 @default.
- W4200481391 hasConcept C199360897 @default.
- W4200481391 hasConcept C2777151079 @default.
- W4200481391 hasConcept C41008148 @default.
- W4200481391 hasConcept C45374587 @default.
- W4200481391 hasConcept C80444323 @default.
- W4200481391 hasConceptScore W4200481391C109214941 @default.
- W4200481391 hasConceptScore W4200481391C121332964 @default.
- W4200481391 hasConceptScore W4200481391C132525143 @default.
- W4200481391 hasConceptScore W4200481391C184337299 @default.
- W4200481391 hasConceptScore W4200481391C199360897 @default.
- W4200481391 hasConceptScore W4200481391C2777151079 @default.
- W4200481391 hasConceptScore W4200481391C41008148 @default.
- W4200481391 hasConceptScore W4200481391C45374587 @default.
- W4200481391 hasConceptScore W4200481391C80444323 @default.
- W4200481391 hasLocation W42004813911 @default.
- W4200481391 hasOpenAccess W4200481391 @default.
- W4200481391 hasPrimaryLocation W42004813911 @default.
- W4200481391 hasRelatedWork W1499261285 @default.
- W4200481391 hasRelatedWork W1526789715 @default.
- W4200481391 hasRelatedWork W155014619 @default.
- W4200481391 hasRelatedWork W1568173680 @default.
- W4200481391 hasRelatedWork W1572523360 @default.
- W4200481391 hasRelatedWork W2090914728 @default.
- W4200481391 hasRelatedWork W2166890385 @default.
- W4200481391 hasRelatedWork W2380389143 @default.
- W4200481391 hasRelatedWork W2793653224 @default.
- W4200481391 hasRelatedWork W4236163602 @default.
- W4200481391 hasVolume "351" @default.
- W4200481391 isParatext "false" @default.
- W4200481391 isRetracted "false" @default.
- W4200481391 workType "article" @default.