Matches in SemOpenAlex for { <https://semopenalex.org/work/W2100021838> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2100021838 endingPage "176" @default.
- W2100021838 startingPage "171" @default.
- W2100021838 abstract "Formalization of a well-defined synchronization mechanism can be used to prove that concurrently running processes of a system communicate correctly. This is demonstrated for a system consisting of many sending processes which deposit messages in a buffer and many receiving processes which remove messages from that buffer. The formal description of the synchronization mechanism makes it very easy to prove that the buffer will neither overflow nor underflow, that senders and receivers will never operate on the same message frame in the buffer nor will they run into a deadlock." @default.
- W2100021838 created "2016-06-24" @default.
- W2100021838 creator A5047055080 @default.
- W2100021838 date "1972-03-01" @default.
- W2100021838 modified "2023-10-17" @default.
- W2100021838 title "Synchronization of communicating processes" @default.
- W2100021838 cites W2002430808 @default.
- W2100021838 cites W2026320672 @default.
- W2100021838 cites W2103444363 @default.
- W2100021838 cites W4294549613 @default.
- W2100021838 doi "https://doi.org/10.1145/361268.361277" @default.
- W2100021838 hasPublicationYear "1972" @default.
- W2100021838 type Work @default.
- W2100021838 sameAs 2100021838 @default.
- W2100021838 citedByCount "118" @default.
- W2100021838 countsByYear W21000218382016 @default.
- W2100021838 countsByYear W21000218382018 @default.
- W2100021838 crossrefType "journal-article" @default.
- W2100021838 hasAuthorship W2100021838A5047055080 @default.
- W2100021838 hasBestOaLocation W21000218381 @default.
- W2100021838 hasConcept C111472728 @default.
- W2100021838 hasConcept C111919701 @default.
- W2100021838 hasConcept C120314980 @default.
- W2100021838 hasConcept C126042441 @default.
- W2100021838 hasConcept C127162648 @default.
- W2100021838 hasConcept C138885662 @default.
- W2100021838 hasConcept C145018004 @default.
- W2100021838 hasConcept C159023740 @default.
- W2100021838 hasConcept C2778562939 @default.
- W2100021838 hasConcept C31258907 @default.
- W2100021838 hasConcept C3265923 @default.
- W2100021838 hasConcept C40842320 @default.
- W2100021838 hasConcept C41008148 @default.
- W2100021838 hasConcept C76155785 @default.
- W2100021838 hasConcept C79403827 @default.
- W2100021838 hasConcept C89611455 @default.
- W2100021838 hasConceptScore W2100021838C111472728 @default.
- W2100021838 hasConceptScore W2100021838C111919701 @default.
- W2100021838 hasConceptScore W2100021838C120314980 @default.
- W2100021838 hasConceptScore W2100021838C126042441 @default.
- W2100021838 hasConceptScore W2100021838C127162648 @default.
- W2100021838 hasConceptScore W2100021838C138885662 @default.
- W2100021838 hasConceptScore W2100021838C145018004 @default.
- W2100021838 hasConceptScore W2100021838C159023740 @default.
- W2100021838 hasConceptScore W2100021838C2778562939 @default.
- W2100021838 hasConceptScore W2100021838C31258907 @default.
- W2100021838 hasConceptScore W2100021838C3265923 @default.
- W2100021838 hasConceptScore W2100021838C40842320 @default.
- W2100021838 hasConceptScore W2100021838C41008148 @default.
- W2100021838 hasConceptScore W2100021838C76155785 @default.
- W2100021838 hasConceptScore W2100021838C79403827 @default.
- W2100021838 hasConceptScore W2100021838C89611455 @default.
- W2100021838 hasIssue "3" @default.
- W2100021838 hasLocation W21000218381 @default.
- W2100021838 hasOpenAccess W2100021838 @default.
- W2100021838 hasPrimaryLocation W21000218381 @default.
- W2100021838 hasRelatedWork W1993832972 @default.
- W2100021838 hasRelatedWork W2099904224 @default.
- W2100021838 hasRelatedWork W2131630752 @default.
- W2100021838 hasRelatedWork W2339997894 @default.
- W2100021838 hasRelatedWork W2359317704 @default.
- W2100021838 hasRelatedWork W2368842303 @default.
- W2100021838 hasRelatedWork W2373025652 @default.
- W2100021838 hasRelatedWork W2373884999 @default.
- W2100021838 hasRelatedWork W2379779931 @default.
- W2100021838 hasRelatedWork W2778966625 @default.
- W2100021838 hasVolume "15" @default.
- W2100021838 isParatext "false" @default.
- W2100021838 isRetracted "false" @default.
- W2100021838 magId "2100021838" @default.
- W2100021838 workType "article" @default.