Matches in SemOpenAlex for { <https://semopenalex.org/work/W4300603668> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W4300603668 abstract "An important issue in concurrency is interference. This issue manifests itself in both shared-variable and communication-based concurrency --- this paper focusses on the former case where interference is caused by the environment of a process changing the values of shared variables. Rely/guarantee approaches have been shown to be useful in specifying and reasoning compositionally about concurrent programs. This paper explores the use of a possible values notation for reasoning about variables whose values can be changed multiple times by interference. Apart from the value of this concept in providing clear specifications, it offers a principled way of avoiding the need for some auxiliary (or ghost) variables whose unwise use can destroy compositionality." @default.
- W4300603668 created "2022-10-03" @default.
- W4300603668 creator A5053935611 @default.
- W4300603668 creator A5054584529 @default.
- W4300603668 date "2016-01-09" @default.
- W4300603668 modified "2023-10-16" @default.
- W4300603668 title "Possible values: exploring a concept for concurrency" @default.
- W4300603668 doi "https://doi.org/10.48550/arxiv.1601.02132" @default.
- W4300603668 hasPublicationYear "2016" @default.
- W4300603668 type Work @default.
- W4300603668 citedByCount "0" @default.
- W4300603668 crossrefType "posted-content" @default.
- W4300603668 hasAuthorship W4300603668A5053935611 @default.
- W4300603668 hasAuthorship W4300603668A5054584529 @default.
- W4300603668 hasBestOaLocation W43006036681 @default.
- W4300603668 hasConcept C119857082 @default.
- W4300603668 hasConcept C121375916 @default.
- W4300603668 hasConcept C127162648 @default.
- W4300603668 hasConcept C133875982 @default.
- W4300603668 hasConcept C134306372 @default.
- W4300603668 hasConcept C154945302 @default.
- W4300603668 hasConcept C155214134 @default.
- W4300603668 hasConcept C156325763 @default.
- W4300603668 hasConcept C173608175 @default.
- W4300603668 hasConcept C182365436 @default.
- W4300603668 hasConcept C184337299 @default.
- W4300603668 hasConcept C193702766 @default.
- W4300603668 hasConcept C199360897 @default.
- W4300603668 hasConcept C2776291640 @default.
- W4300603668 hasConcept C31258907 @default.
- W4300603668 hasConcept C32022120 @default.
- W4300603668 hasConcept C33923547 @default.
- W4300603668 hasConcept C41008148 @default.
- W4300603668 hasConcept C45357846 @default.
- W4300603668 hasConcept C80444323 @default.
- W4300603668 hasConcept C94375191 @default.
- W4300603668 hasConcept C98045186 @default.
- W4300603668 hasConceptScore W4300603668C119857082 @default.
- W4300603668 hasConceptScore W4300603668C121375916 @default.
- W4300603668 hasConceptScore W4300603668C127162648 @default.
- W4300603668 hasConceptScore W4300603668C133875982 @default.
- W4300603668 hasConceptScore W4300603668C134306372 @default.
- W4300603668 hasConceptScore W4300603668C154945302 @default.
- W4300603668 hasConceptScore W4300603668C155214134 @default.
- W4300603668 hasConceptScore W4300603668C156325763 @default.
- W4300603668 hasConceptScore W4300603668C173608175 @default.
- W4300603668 hasConceptScore W4300603668C182365436 @default.
- W4300603668 hasConceptScore W4300603668C184337299 @default.
- W4300603668 hasConceptScore W4300603668C193702766 @default.
- W4300603668 hasConceptScore W4300603668C199360897 @default.
- W4300603668 hasConceptScore W4300603668C2776291640 @default.
- W4300603668 hasConceptScore W4300603668C31258907 @default.
- W4300603668 hasConceptScore W4300603668C32022120 @default.
- W4300603668 hasConceptScore W4300603668C33923547 @default.
- W4300603668 hasConceptScore W4300603668C41008148 @default.
- W4300603668 hasConceptScore W4300603668C45357846 @default.
- W4300603668 hasConceptScore W4300603668C80444323 @default.
- W4300603668 hasConceptScore W4300603668C94375191 @default.
- W4300603668 hasConceptScore W4300603668C98045186 @default.
- W4300603668 hasLocation W43006036681 @default.
- W4300603668 hasLocation W43006036682 @default.
- W4300603668 hasLocation W43006036683 @default.
- W4300603668 hasOpenAccess W4300603668 @default.
- W4300603668 hasPrimaryLocation W43006036681 @default.
- W4300603668 hasRelatedWork W1575028430 @default.
- W4300603668 hasRelatedWork W2012923552 @default.
- W4300603668 hasRelatedWork W2149952006 @default.
- W4300603668 hasRelatedWork W28730286 @default.
- W4300603668 hasRelatedWork W2897455996 @default.
- W4300603668 hasRelatedWork W2950008688 @default.
- W4300603668 hasRelatedWork W2954503119 @default.
- W4300603668 hasRelatedWork W4253603427 @default.
- W4300603668 hasRelatedWork W4300603668 @default.
- W4300603668 hasRelatedWork W270479768 @default.
- W4300603668 isParatext "false" @default.
- W4300603668 isRetracted "false" @default.
- W4300603668 workType "article" @default.