Matches in SemOpenAlex for { <https://semopenalex.org/work/W1900124882> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W1900124882 abstract "Parallel programming is difficult. The need for correct and efficient parallel programs is important and one way to meet this requirement is to work on the refinement chain. Beginning with a specification written in TLA/sup +/ (for instance), we can transform it-or refine it-into finer grained specifications. At some step, enough structure will have appeared so that we can bridge a gap to fill this structure. We introduce a more concrete version of TLA/sup +/, CTLA, where structuring concerns are to be expressed, but where distributing, mapping or implementation problems are avoided. Indeed, we firmly believe that it is a mistake to go immediately from TLA/sup +/ to a real language like CC++, since the ditch is still too wide. A numerical example supports our claim." @default.
- W1900124882 created "2016-06-24" @default.
- W1900124882 creator A5090289231 @default.
- W1900124882 date "2002-12-23" @default.
- W1900124882 modified "2023-09-25" @default.
- W1900124882 title "Specifying almost-real concurrent object-oriented programs" @default.
- W1900124882 cites W1415587708 @default.
- W1900124882 cites W1706180699 @default.
- W1900124882 cites W1966037709 @default.
- W1900124882 cites W2015688007 @default.
- W1900124882 cites W2118494993 @default.
- W1900124882 cites W2158867151 @default.
- W1900124882 doi "https://doi.org/10.1109/empdp.1996.500574" @default.
- W1900124882 hasPublicationYear "2002" @default.
- W1900124882 type Work @default.
- W1900124882 sameAs 1900124882 @default.
- W1900124882 citedByCount "1" @default.
- W1900124882 crossrefType "proceedings-article" @default.
- W1900124882 hasAuthorship W1900124882A5090289231 @default.
- W1900124882 hasConcept C100776233 @default.
- W1900124882 hasConcept C10138342 @default.
- W1900124882 hasConcept C126322002 @default.
- W1900124882 hasConcept C154945302 @default.
- W1900124882 hasConcept C162324750 @default.
- W1900124882 hasConcept C17744445 @default.
- W1900124882 hasConcept C199360897 @default.
- W1900124882 hasConcept C199539241 @default.
- W1900124882 hasConcept C2775945657 @default.
- W1900124882 hasConcept C2777179996 @default.
- W1900124882 hasConcept C2781238097 @default.
- W1900124882 hasConcept C41008148 @default.
- W1900124882 hasConcept C71924100 @default.
- W1900124882 hasConcept C80444323 @default.
- W1900124882 hasConceptScore W1900124882C100776233 @default.
- W1900124882 hasConceptScore W1900124882C10138342 @default.
- W1900124882 hasConceptScore W1900124882C126322002 @default.
- W1900124882 hasConceptScore W1900124882C154945302 @default.
- W1900124882 hasConceptScore W1900124882C162324750 @default.
- W1900124882 hasConceptScore W1900124882C17744445 @default.
- W1900124882 hasConceptScore W1900124882C199360897 @default.
- W1900124882 hasConceptScore W1900124882C199539241 @default.
- W1900124882 hasConceptScore W1900124882C2775945657 @default.
- W1900124882 hasConceptScore W1900124882C2777179996 @default.
- W1900124882 hasConceptScore W1900124882C2781238097 @default.
- W1900124882 hasConceptScore W1900124882C41008148 @default.
- W1900124882 hasConceptScore W1900124882C71924100 @default.
- W1900124882 hasConceptScore W1900124882C80444323 @default.
- W1900124882 hasLocation W19001248821 @default.
- W1900124882 hasOpenAccess W1900124882 @default.
- W1900124882 hasPrimaryLocation W19001248821 @default.
- W1900124882 hasRelatedWork W1234244774 @default.
- W1900124882 hasRelatedWork W1486843819 @default.
- W1900124882 hasRelatedWork W1490265404 @default.
- W1900124882 hasRelatedWork W1501678603 @default.
- W1900124882 hasRelatedWork W1514342866 @default.
- W1900124882 hasRelatedWork W1570752989 @default.
- W1900124882 hasRelatedWork W1583155897 @default.
- W1900124882 hasRelatedWork W1970582739 @default.
- W1900124882 hasRelatedWork W2046089882 @default.
- W1900124882 hasRelatedWork W2056111554 @default.
- W1900124882 hasRelatedWork W2102657776 @default.
- W1900124882 hasRelatedWork W2159546076 @default.
- W1900124882 hasRelatedWork W2188004801 @default.
- W1900124882 hasRelatedWork W2426164632 @default.
- W1900124882 hasRelatedWork W2593501696 @default.
- W1900124882 hasRelatedWork W2741594272 @default.
- W1900124882 hasRelatedWork W2757480792 @default.
- W1900124882 hasRelatedWork W46381564 @default.
- W1900124882 hasRelatedWork W52419754 @default.
- W1900124882 hasRelatedWork W1835258925 @default.
- W1900124882 isParatext "false" @default.
- W1900124882 isRetracted "false" @default.
- W1900124882 magId "1900124882" @default.
- W1900124882 workType "article" @default.