Matches in SemOpenAlex for { <https://semopenalex.org/work/W1520776630> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W1520776630 abstract "This paper models synchronized distributed computing by extending the games in [Nerode-Yakhnis-Yakhnis, [17]]. The intention is to provide a precise tool for reasoning about the correctness of distributed synchronized programs. [17] introduced the paradigm that concurrent programs denote state strategies in corresponding two-person computational games. Program specifications were winning sets of plays in such games. This was carried out relative to a shared memory model. It is our belief that state strategies on appropriate game trees capture all there is to any program. So here we extend this paradigm to synchronous message-passing models, which may have shared memory as well, by introducing additional rules of the game, and additional operations for constructing new strategies from old, which capture completely the syntax and semantics of OCCAM’S PAR program construct and message-passing. Almost all the results about operations on strategies and programs from [17] extend to the distributed context." @default.
- W1520776630 created "2016-06-24" @default.
- W1520776630 creator A5014073666 @default.
- W1520776630 creator A5081561342 @default.
- W1520776630 creator A5082347461 @default.
- W1520776630 date "1993-01-01" @default.
- W1520776630 modified "2023-10-17" @default.
- W1520776630 title "Distributed Concurrent Programs as Strategies in Games" @default.
- W1520776630 cites W1590266960 @default.
- W1520776630 cites W1964727056 @default.
- W1520776630 cites W1975586790 @default.
- W1520776630 cites W2039131029 @default.
- W1520776630 cites W2105435765 @default.
- W1520776630 cites W2140920629 @default.
- W1520776630 cites W4211008702 @default.
- W1520776630 doi "https://doi.org/10.1007/978-1-4612-0325-4_21" @default.
- W1520776630 hasPublicationYear "1993" @default.
- W1520776630 type Work @default.
- W1520776630 sameAs 1520776630 @default.
- W1520776630 citedByCount "7" @default.
- W1520776630 crossrefType "book-chapter" @default.
- W1520776630 hasAuthorship W1520776630A5014073666 @default.
- W1520776630 hasAuthorship W1520776630A5081561342 @default.
- W1520776630 hasAuthorship W1520776630A5082347461 @default.
- W1520776630 hasConcept C120314980 @default.
- W1520776630 hasConcept C151730666 @default.
- W1520776630 hasConcept C154945302 @default.
- W1520776630 hasConcept C184337299 @default.
- W1520776630 hasConcept C199360897 @default.
- W1520776630 hasConcept C2779343474 @default.
- W1520776630 hasConcept C2780801425 @default.
- W1520776630 hasConcept C41008148 @default.
- W1520776630 hasConcept C48103436 @default.
- W1520776630 hasConcept C55439883 @default.
- W1520776630 hasConcept C60048249 @default.
- W1520776630 hasConcept C78469957 @default.
- W1520776630 hasConcept C80444323 @default.
- W1520776630 hasConcept C854659 @default.
- W1520776630 hasConcept C86803240 @default.
- W1520776630 hasConceptScore W1520776630C120314980 @default.
- W1520776630 hasConceptScore W1520776630C151730666 @default.
- W1520776630 hasConceptScore W1520776630C154945302 @default.
- W1520776630 hasConceptScore W1520776630C184337299 @default.
- W1520776630 hasConceptScore W1520776630C199360897 @default.
- W1520776630 hasConceptScore W1520776630C2779343474 @default.
- W1520776630 hasConceptScore W1520776630C2780801425 @default.
- W1520776630 hasConceptScore W1520776630C41008148 @default.
- W1520776630 hasConceptScore W1520776630C48103436 @default.
- W1520776630 hasConceptScore W1520776630C55439883 @default.
- W1520776630 hasConceptScore W1520776630C60048249 @default.
- W1520776630 hasConceptScore W1520776630C78469957 @default.
- W1520776630 hasConceptScore W1520776630C80444323 @default.
- W1520776630 hasConceptScore W1520776630C854659 @default.
- W1520776630 hasConceptScore W1520776630C86803240 @default.
- W1520776630 hasLocation W15207766301 @default.
- W1520776630 hasOpenAccess W1520776630 @default.
- W1520776630 hasPrimaryLocation W15207766301 @default.
- W1520776630 hasRelatedWork W11028699 @default.
- W1520776630 hasRelatedWork W1487180813 @default.
- W1520776630 hasRelatedWork W149306500 @default.
- W1520776630 hasRelatedWork W1509566592 @default.
- W1520776630 hasRelatedWork W1522369906 @default.
- W1520776630 hasRelatedWork W1600524192 @default.
- W1520776630 hasRelatedWork W1610464597 @default.
- W1520776630 hasRelatedWork W1830888658 @default.
- W1520776630 hasRelatedWork W1868280814 @default.
- W1520776630 hasRelatedWork W1969912861 @default.
- W1520776630 hasRelatedWork W1971138850 @default.
- W1520776630 hasRelatedWork W2000900855 @default.
- W1520776630 hasRelatedWork W2023859976 @default.
- W1520776630 hasRelatedWork W2036601332 @default.
- W1520776630 hasRelatedWork W2167421399 @default.
- W1520776630 hasRelatedWork W2276960835 @default.
- W1520776630 hasRelatedWork W2477542463 @default.
- W1520776630 hasRelatedWork W3156385761 @default.
- W1520776630 hasRelatedWork W3166521255 @default.
- W1520776630 hasRelatedWork W389236421 @default.
- W1520776630 isParatext "false" @default.
- W1520776630 isRetracted "false" @default.
- W1520776630 magId "1520776630" @default.
- W1520776630 workType "book-chapter" @default.