Matches in SemOpenAlex for { <https://semopenalex.org/work/W2022305417> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W2022305417 abstract "Message passing provides a way for concurrently executing processes to communicate and synchronize. In this paper, we develop proof rules for asynchronous message-passing primitives (i.e. “send no-wait”). Two benefits accrue from this. The obvious one is that partial correctness proofs can be written for concurrent programs that use such primitives. This allows programs to be understood as predicate transformers, instead of by contemplating all possible execution interleavings. The second benefit is that the proof rules and their derivation shed light on how interference arises when message-passing operations are used and on how this interference can be controlled. This provides insight into programming techniques to eliminate interference in programs that involve asynchronous activity. Three safe uses of asynchronous message passing are described here: the transfer of values, the transfer of monotonic predicates, and the use of acknowledgments." @default.
- W2022305417 created "2016-06-24" @default.
- W2022305417 creator A5021996655 @default.
- W2022305417 creator A5028125888 @default.
- W2022305417 date "1982-01-01" @default.
- W2022305417 modified "2023-09-25" @default.
- W2022305417 title "Understanding and using asynchronous message passing (Preliminary Version)" @default.
- W2022305417 cites W1498543220 @default.
- W2022305417 cites W1964727056 @default.
- W2022305417 cites W1975586790 @default.
- W2022305417 cites W1984831616 @default.
- W2022305417 cites W1986658425 @default.
- W2022305417 cites W2011399941 @default.
- W2022305417 cites W2038952689 @default.
- W2022305417 cites W2103953153 @default.
- W2022305417 cites W2160098227 @default.
- W2022305417 cites W3146075203 @default.
- W2022305417 doi "https://doi.org/10.1145/800220.806691" @default.
- W2022305417 hasPublicationYear "1982" @default.
- W2022305417 type Work @default.
- W2022305417 sameAs 2022305417 @default.
- W2022305417 citedByCount "5" @default.
- W2022305417 crossrefType "proceedings-article" @default.
- W2022305417 hasAuthorship W2022305417A5021996655 @default.
- W2022305417 hasAuthorship W2022305417A5028125888 @default.
- W2022305417 hasBestOaLocation W20223054171 @default.
- W2022305417 hasConcept C108710211 @default.
- W2022305417 hasConcept C120314980 @default.
- W2022305417 hasConcept C140146324 @default.
- W2022305417 hasConcept C151319957 @default.
- W2022305417 hasConcept C179733262 @default.
- W2022305417 hasConcept C199360897 @default.
- W2022305417 hasConcept C2524010 @default.
- W2022305417 hasConcept C31258907 @default.
- W2022305417 hasConcept C33923547 @default.
- W2022305417 hasConcept C41008148 @default.
- W2022305417 hasConcept C55439883 @default.
- W2022305417 hasConcept C80444323 @default.
- W2022305417 hasConcept C854659 @default.
- W2022305417 hasConceptScore W2022305417C108710211 @default.
- W2022305417 hasConceptScore W2022305417C120314980 @default.
- W2022305417 hasConceptScore W2022305417C140146324 @default.
- W2022305417 hasConceptScore W2022305417C151319957 @default.
- W2022305417 hasConceptScore W2022305417C179733262 @default.
- W2022305417 hasConceptScore W2022305417C199360897 @default.
- W2022305417 hasConceptScore W2022305417C2524010 @default.
- W2022305417 hasConceptScore W2022305417C31258907 @default.
- W2022305417 hasConceptScore W2022305417C33923547 @default.
- W2022305417 hasConceptScore W2022305417C41008148 @default.
- W2022305417 hasConceptScore W2022305417C55439883 @default.
- W2022305417 hasConceptScore W2022305417C80444323 @default.
- W2022305417 hasConceptScore W2022305417C854659 @default.
- W2022305417 hasLocation W20223054171 @default.
- W2022305417 hasOpenAccess W2022305417 @default.
- W2022305417 hasPrimaryLocation W20223054171 @default.
- W2022305417 hasRelatedWork W1495535967 @default.
- W2022305417 hasRelatedWork W1530347314 @default.
- W2022305417 hasRelatedWork W1569254270 @default.
- W2022305417 hasRelatedWork W1861107327 @default.
- W2022305417 hasRelatedWork W2099035396 @default.
- W2022305417 hasRelatedWork W2364921833 @default.
- W2022305417 hasRelatedWork W2383313779 @default.
- W2022305417 hasRelatedWork W2969320851 @default.
- W2022305417 hasRelatedWork W3201033944 @default.
- W2022305417 hasRelatedWork W2510374584 @default.
- W2022305417 isParatext "false" @default.
- W2022305417 isRetracted "false" @default.
- W2022305417 magId "2022305417" @default.
- W2022305417 workType "article" @default.