Matches in SemOpenAlex for { <https://semopenalex.org/work/W2019707334> ?p ?o ?g. }
- W2019707334 endingPage "961" @default.
- W2019707334 startingPage "931" @default.
- W2019707334 abstract "This paper presents some results towards a game-theoretic account of the constructive semantics of step responses for synchronous languages, providing a coherent semantic framework encompassing both non-deterministic Statecharts (as per Pnueli & Shalev) and deterministic esterel . In particular, it is shown that esterel arises from a finiteness condition on strategies whereas Statecharts permits infinite games. Beyond giving a novel and unifying account of these concrete languages the paper sketches a general theory for obtaining different notions of constructive responses in terms of winning conditions for finite and infinite games and their characterisation as maximal post-fixed points of functions in directed complete lattices of intensional truth-values." @default.
- W2019707334 created "2016-06-24" @default.
- W2019707334 creator A5038272807 @default.
- W2019707334 creator A5056710976 @default.
- W2019707334 date "2011-03-01" @default.
- W2019707334 modified "2023-10-16" @default.
- W2019707334 title "Constructive semantics for instantaneous reactions" @default.
- W2019707334 cites W1481109946 @default.
- W2019707334 cites W1482112913 @default.
- W2019707334 cites W1482244486 @default.
- W2019707334 cites W1483568252 @default.
- W2019707334 cites W1489785129 @default.
- W2019707334 cites W1505618619 @default.
- W2019707334 cites W1512468779 @default.
- W2019707334 cites W1530336448 @default.
- W2019707334 cites W1533525390 @default.
- W2019707334 cites W1539086092 @default.
- W2019707334 cites W1548835575 @default.
- W2019707334 cites W1551331198 @default.
- W2019707334 cites W1573078772 @default.
- W2019707334 cites W1586502670 @default.
- W2019707334 cites W1597924782 @default.
- W2019707334 cites W168380059 @default.
- W2019707334 cites W1875492031 @default.
- W2019707334 cites W1975124265 @default.
- W2019707334 cites W1983093418 @default.
- W2019707334 cites W2024189573 @default.
- W2019707334 cites W2033724727 @default.
- W2019707334 cites W2041225901 @default.
- W2019707334 cites W2047649375 @default.
- W2019707334 cites W2058713130 @default.
- W2019707334 cites W2063458525 @default.
- W2019707334 cites W2065555531 @default.
- W2019707334 cites W2093397547 @default.
- W2019707334 cites W2094685149 @default.
- W2019707334 cites W2103098504 @default.
- W2019707334 cites W2107067818 @default.
- W2019707334 cites W2111353076 @default.
- W2019707334 cites W2114781590 @default.
- W2019707334 cites W2119997500 @default.
- W2019707334 cites W2120688461 @default.
- W2019707334 cites W2122911764 @default.
- W2019707334 cites W2129395888 @default.
- W2019707334 cites W2141321742 @default.
- W2019707334 cites W2143082793 @default.
- W2019707334 cites W2145617779 @default.
- W2019707334 cites W2147880466 @default.
- W2019707334 cites W2152866817 @default.
- W2019707334 cites W2165446401 @default.
- W2019707334 cites W2293287097 @default.
- W2019707334 cites W2339714652 @default.
- W2019707334 cites W2479478569 @default.
- W2019707334 cites W2502103274 @default.
- W2019707334 cites W2914055623 @default.
- W2019707334 cites W3152800724 @default.
- W2019707334 cites W2508524601 @default.
- W2019707334 doi "https://doi.org/10.1016/j.tcs.2010.09.007" @default.
- W2019707334 hasPublicationYear "2011" @default.
- W2019707334 type Work @default.
- W2019707334 sameAs 2019707334 @default.
- W2019707334 citedByCount "6" @default.
- W2019707334 countsByYear W20197073342014 @default.
- W2019707334 countsByYear W20197073342015 @default.
- W2019707334 countsByYear W20197073342018 @default.
- W2019707334 crossrefType "journal-article" @default.
- W2019707334 hasAuthorship W2019707334A5038272807 @default.
- W2019707334 hasAuthorship W2019707334A5056710976 @default.
- W2019707334 hasBestOaLocation W20197073341 @default.
- W2019707334 hasConcept C136119220 @default.
- W2019707334 hasConcept C138885662 @default.
- W2019707334 hasConcept C184337299 @default.
- W2019707334 hasConcept C199343813 @default.
- W2019707334 hasConcept C199360897 @default.
- W2019707334 hasConcept C202444582 @default.
- W2019707334 hasConcept C2777686260 @default.
- W2019707334 hasConcept C2778701210 @default.
- W2019707334 hasConcept C33923547 @default.
- W2019707334 hasConcept C41008148 @default.
- W2019707334 hasConcept C41895202 @default.
- W2019707334 hasConcept C71924100 @default.
- W2019707334 hasConcept C98045186 @default.
- W2019707334 hasConceptScore W2019707334C136119220 @default.
- W2019707334 hasConceptScore W2019707334C138885662 @default.
- W2019707334 hasConceptScore W2019707334C184337299 @default.
- W2019707334 hasConceptScore W2019707334C199343813 @default.
- W2019707334 hasConceptScore W2019707334C199360897 @default.
- W2019707334 hasConceptScore W2019707334C202444582 @default.
- W2019707334 hasConceptScore W2019707334C2777686260 @default.
- W2019707334 hasConceptScore W2019707334C2778701210 @default.
- W2019707334 hasConceptScore W2019707334C33923547 @default.
- W2019707334 hasConceptScore W2019707334C41008148 @default.
- W2019707334 hasConceptScore W2019707334C41895202 @default.
- W2019707334 hasConceptScore W2019707334C71924100 @default.
- W2019707334 hasConceptScore W2019707334C98045186 @default.
- W2019707334 hasIssue "11" @default.
- W2019707334 hasLocation W20197073341 @default.
- W2019707334 hasOpenAccess W2019707334 @default.
- W2019707334 hasPrimaryLocation W20197073341 @default.