Matches in SemOpenAlex for { <https://semopenalex.org/work/W69283758> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W69283758 abstract "We give two examples of how concurrent programs can be derived from their specifications much like sequential ones. As a formal framework for our research we use the UNITY formalism due to Chandy and Misra. Starting from an initial UNITY specification we proceed in a series of strengthening steps until the specification is restrictive enough to be translated directly into UNITY code. The programs we obtain this way satisfy Reynold''s Conditions in that each atomic action mentions at most one shared variable, and are therefore easily implemented on a variety of architectures." @default.
- W69283758 created "2016-06-24" @default.
- W69283758 creator A5047475001 @default.
- W69283758 date "1990-10-01" @default.
- W69283758 modified "2023-09-23" @default.
- W69283758 title "Derivation of Parallel Programs: Two Examples" @default.
- W69283758 cites W1857327297 @default.
- W69283758 cites W1964727056 @default.
- W69283758 cites W321405985 @default.
- W69283758 cites W2804342237 @default.
- W69283758 hasPublicationYear "1990" @default.
- W69283758 type Work @default.
- W69283758 sameAs 69283758 @default.
- W69283758 citedByCount "3" @default.
- W69283758 crossrefType "journal-article" @default.
- W69283758 hasAuthorship W69283758A5047475001 @default.
- W69283758 hasConcept C134306372 @default.
- W69283758 hasConcept C136119220 @default.
- W69283758 hasConcept C136197465 @default.
- W69283758 hasConcept C142362112 @default.
- W69283758 hasConcept C153349607 @default.
- W69283758 hasConcept C154945302 @default.
- W69283758 hasConcept C182365436 @default.
- W69283758 hasConcept C199360897 @default.
- W69283758 hasConcept C202444582 @default.
- W69283758 hasConcept C33923547 @default.
- W69283758 hasConcept C41008148 @default.
- W69283758 hasConcept C558565934 @default.
- W69283758 hasConcept C73301696 @default.
- W69283758 hasConcept C80444323 @default.
- W69283758 hasConceptScore W69283758C134306372 @default.
- W69283758 hasConceptScore W69283758C136119220 @default.
- W69283758 hasConceptScore W69283758C136197465 @default.
- W69283758 hasConceptScore W69283758C142362112 @default.
- W69283758 hasConceptScore W69283758C153349607 @default.
- W69283758 hasConceptScore W69283758C154945302 @default.
- W69283758 hasConceptScore W69283758C182365436 @default.
- W69283758 hasConceptScore W69283758C199360897 @default.
- W69283758 hasConceptScore W69283758C202444582 @default.
- W69283758 hasConceptScore W69283758C33923547 @default.
- W69283758 hasConceptScore W69283758C41008148 @default.
- W69283758 hasConceptScore W69283758C558565934 @default.
- W69283758 hasConceptScore W69283758C73301696 @default.
- W69283758 hasConceptScore W69283758C80444323 @default.
- W69283758 hasLocation W692837581 @default.
- W69283758 hasOpenAccess W69283758 @default.
- W69283758 hasPrimaryLocation W692837581 @default.
- W69283758 hasRelatedWork W1519887245 @default.
- W69283758 hasRelatedWork W1968455077 @default.
- W69283758 hasRelatedWork W1973678011 @default.
- W69283758 hasRelatedWork W1975813326 @default.
- W69283758 hasRelatedWork W1982335633 @default.
- W69283758 hasRelatedWork W2001265243 @default.
- W69283758 hasRelatedWork W2006508316 @default.
- W69283758 hasRelatedWork W2156745311 @default.
- W69283758 hasRelatedWork W2174129300 @default.
- W69283758 hasRelatedWork W2184131427 @default.
- W69283758 hasRelatedWork W2417480471 @default.
- W69283758 hasRelatedWork W2539027192 @default.
- W69283758 hasRelatedWork W2570557253 @default.
- W69283758 hasRelatedWork W2625553213 @default.
- W69283758 hasRelatedWork W2951385987 @default.
- W69283758 hasRelatedWork W3022646724 @default.
- W69283758 hasRelatedWork W30806071 @default.
- W69283758 hasRelatedWork W3112048907 @default.
- W69283758 hasRelatedWork W3146434490 @default.
- W69283758 hasRelatedWork W3186751383 @default.
- W69283758 isParatext "false" @default.
- W69283758 isRetracted "false" @default.
- W69283758 magId "69283758" @default.
- W69283758 workType "article" @default.