Matches in SemOpenAlex for { <https://semopenalex.org/work/W1601786918> ?p ?o ?g. }
Showing items 1 to 58 of
58
with 100 items per page.
- W1601786918 abstract "In this paper, we present a technique to prove progress properties of non-terminating concurrent programs and to refine them in such a way that these properties are preserved. We rely on strong fairness assumptions about the language implementation." @default.
- W1601786918 created "2016-06-24" @default.
- W1601786918 creator A5016044555 @default.
- W1601786918 creator A5082475881 @default.
- W1601786918 date "1997-01-01" @default.
- W1601786918 modified "2023-10-04" @default.
- W1601786918 title "Verification and refinement of distributed programs in a fair framework" @default.
- W1601786918 cites W1481018260 @default.
- W1601786918 cites W1601786918 @default.
- W1601786918 cites W2000589007 @default.
- W1601786918 cites W2023808162 @default.
- W1601786918 cites W2132334337 @default.
- W1601786918 cites W2166656159 @default.
- W1601786918 cites W4211008702 @default.
- W1601786918 cites W4240126131 @default.
- W1601786918 doi "https://doi.org/10.1007/3-540-63010-4_19" @default.
- W1601786918 hasPublicationYear "1997" @default.
- W1601786918 type Work @default.
- W1601786918 sameAs 1601786918 @default.
- W1601786918 citedByCount "1" @default.
- W1601786918 crossrefType "book-chapter" @default.
- W1601786918 hasAuthorship W1601786918A5016044555 @default.
- W1601786918 hasAuthorship W1601786918A5082475881 @default.
- W1601786918 hasConcept C120314980 @default.
- W1601786918 hasConcept C199360897 @default.
- W1601786918 hasConcept C41008148 @default.
- W1601786918 hasConcept C80444323 @default.
- W1601786918 hasConceptScore W1601786918C120314980 @default.
- W1601786918 hasConceptScore W1601786918C199360897 @default.
- W1601786918 hasConceptScore W1601786918C41008148 @default.
- W1601786918 hasConceptScore W1601786918C80444323 @default.
- W1601786918 hasLocation W16017869181 @default.
- W1601786918 hasOpenAccess W1601786918 @default.
- W1601786918 hasPrimaryLocation W16017869181 @default.
- W1601786918 hasRelatedWork W1529821561 @default.
- W1601786918 hasRelatedWork W2037205044 @default.
- W1601786918 hasRelatedWork W2068157519 @default.
- W1601786918 hasRelatedWork W2077212395 @default.
- W1601786918 hasRelatedWork W2132818695 @default.
- W1601786918 hasRelatedWork W2277637892 @default.
- W1601786918 hasRelatedWork W2488606650 @default.
- W1601786918 hasRelatedWork W2504048352 @default.
- W1601786918 hasRelatedWork W2548257568 @default.
- W1601786918 hasRelatedWork W2965462056 @default.
- W1601786918 hasRelatedWork W3046432703 @default.
- W1601786918 hasRelatedWork W3096421200 @default.
- W1601786918 hasRelatedWork W3129944396 @default.
- W1601786918 hasRelatedWork W3147375852 @default.
- W1601786918 hasRelatedWork W3153219280 @default.
- W1601786918 hasRelatedWork W3193995880 @default.
- W1601786918 hasRelatedWork W3206871344 @default.
- W1601786918 hasRelatedWork W34188793 @default.
- W1601786918 hasRelatedWork W589454760 @default.
- W1601786918 hasRelatedWork W607442046 @default.
- W1601786918 isParatext "false" @default.
- W1601786918 isRetracted "false" @default.
- W1601786918 magId "1601786918" @default.
- W1601786918 workType "book-chapter" @default.