Matches in SemOpenAlex for { <https://semopenalex.org/work/W1549139679> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W1549139679 abstract "Two formulations for problems, called system of processes and synchronization graphs are introduced in this paper. These are used to express inherent formal properties for such systems and give a set of inherent requirements for the mutual exclusion problem. Results include two theorems on common data requirements for mutual exclusion." @default.
- W1549139679 created "2016-06-24" @default.
- W1549139679 creator A5006465214 @default.
- W1549139679 creator A5078989577 @default.
- W1549139679 date "1979-01-01" @default.
- W1549139679 modified "2023-09-24" @default.
- W1549139679 title "On the formal specification and analysis of loosely connected processes" @default.
- W1549139679 cites W1971153585 @default.
- W1549139679 cites W2036955366 @default.
- W1549139679 cites W2069890246 @default.
- W1549139679 cites W2076340869 @default.
- W1549139679 cites W2103412683 @default.
- W1549139679 cites W4294549613 @default.
- W1549139679 doi "https://doi.org/10.1007/3-540-09541-1_22" @default.
- W1549139679 hasPublicationYear "1979" @default.
- W1549139679 type Work @default.
- W1549139679 sameAs 1549139679 @default.
- W1549139679 citedByCount "1" @default.
- W1549139679 crossrefType "book-chapter" @default.
- W1549139679 hasAuthorship W1549139679A5006465214 @default.
- W1549139679 hasAuthorship W1549139679A5078989577 @default.
- W1549139679 hasConcept C111498074 @default.
- W1549139679 hasConcept C116253237 @default.
- W1549139679 hasConcept C127162648 @default.
- W1549139679 hasConcept C177264268 @default.
- W1549139679 hasConcept C199360897 @default.
- W1549139679 hasConcept C2778562939 @default.
- W1549139679 hasConcept C2985583900 @default.
- W1549139679 hasConcept C31258907 @default.
- W1549139679 hasConcept C41008148 @default.
- W1549139679 hasConcept C56348326 @default.
- W1549139679 hasConcept C75606506 @default.
- W1549139679 hasConcept C80444323 @default.
- W1549139679 hasConceptScore W1549139679C111498074 @default.
- W1549139679 hasConceptScore W1549139679C116253237 @default.
- W1549139679 hasConceptScore W1549139679C127162648 @default.
- W1549139679 hasConceptScore W1549139679C177264268 @default.
- W1549139679 hasConceptScore W1549139679C199360897 @default.
- W1549139679 hasConceptScore W1549139679C2778562939 @default.
- W1549139679 hasConceptScore W1549139679C2985583900 @default.
- W1549139679 hasConceptScore W1549139679C31258907 @default.
- W1549139679 hasConceptScore W1549139679C41008148 @default.
- W1549139679 hasConceptScore W1549139679C56348326 @default.
- W1549139679 hasConceptScore W1549139679C75606506 @default.
- W1549139679 hasConceptScore W1549139679C80444323 @default.
- W1549139679 hasLocation W15491396791 @default.
- W1549139679 hasOpenAccess W1549139679 @default.
- W1549139679 hasPrimaryLocation W15491396791 @default.
- W1549139679 hasRelatedWork W1481073414 @default.
- W1549139679 hasRelatedWork W1541228707 @default.
- W1549139679 hasRelatedWork W1546981056 @default.
- W1549139679 hasRelatedWork W1548817644 @default.
- W1549139679 hasRelatedWork W1586572263 @default.
- W1549139679 hasRelatedWork W169720976 @default.
- W1549139679 hasRelatedWork W1845051485 @default.
- W1549139679 hasRelatedWork W1886517295 @default.
- W1549139679 hasRelatedWork W1968778984 @default.
- W1549139679 hasRelatedWork W2052689990 @default.
- W1549139679 hasRelatedWork W2069890246 @default.
- W1549139679 hasRelatedWork W2098116976 @default.
- W1549139679 hasRelatedWork W2116759677 @default.
- W1549139679 hasRelatedWork W2128732372 @default.
- W1549139679 hasRelatedWork W2157906846 @default.
- W1549139679 hasRelatedWork W2318190421 @default.
- W1549139679 hasRelatedWork W2718119749 @default.
- W1549139679 hasRelatedWork W2752116518 @default.
- W1549139679 hasRelatedWork W2763858141 @default.
- W1549139679 hasRelatedWork W2049660181 @default.
- W1549139679 isParatext "false" @default.
- W1549139679 isRetracted "false" @default.
- W1549139679 magId "1549139679" @default.
- W1549139679 workType "book-chapter" @default.