Matches in SemOpenAlex for { <https://semopenalex.org/work/W2000506665> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2000506665 endingPage "108" @default.
- W2000506665 startingPage "88" @default.
- W2000506665 abstract "Many of the process synchronization problems studied in the literature are of the form of a conjunction of finitely many conditions of the type “process $p_i$ blocks process $p_j$”. Such problems may be expressed as directed graphs whose nodes represent the processes and where there is an edge from node i to node j if and only if process $p_i$ blocks process $p_j$. We characterize the class of graphs which correspond to the system of synchronizing primitives of Vantilborgh and van Lamsweerde in terms of a normal form representation and present an efficient algorithm for determining whether an arbitrary graph is in this class." @default.
- W2000506665 created "2016-06-24" @default.
- W2000506665 creator A5049073875 @default.
- W2000506665 creator A5050056277 @default.
- W2000506665 date "1977-03-01" @default.
- W2000506665 modified "2023-09-27" @default.
- W2000506665 title "A Graph-Theoretic Characterization of the $text{PV}_{text{chunk}}$ Class of Synchronizing Primitives" @default.
- W2000506665 cites W1789713128 @default.
- W2000506665 cites W2003988053 @default.
- W2000506665 cites W2044689595 @default.
- W2000506665 cites W2049764332 @default.
- W2000506665 cites W2089465933 @default.
- W2000506665 cites W4213214460 @default.
- W2000506665 doi "https://doi.org/10.1137/0206008" @default.
- W2000506665 hasPublicationYear "1977" @default.
- W2000506665 type Work @default.
- W2000506665 sameAs 2000506665 @default.
- W2000506665 citedByCount "89" @default.
- W2000506665 countsByYear W20005066652012 @default.
- W2000506665 countsByYear W20005066652013 @default.
- W2000506665 countsByYear W20005066652014 @default.
- W2000506665 countsByYear W20005066652015 @default.
- W2000506665 countsByYear W20005066652016 @default.
- W2000506665 countsByYear W20005066652017 @default.
- W2000506665 countsByYear W20005066652018 @default.
- W2000506665 countsByYear W20005066652019 @default.
- W2000506665 countsByYear W20005066652020 @default.
- W2000506665 countsByYear W20005066652021 @default.
- W2000506665 countsByYear W20005066652022 @default.
- W2000506665 countsByYear W20005066652023 @default.
- W2000506665 crossrefType "journal-article" @default.
- W2000506665 hasAuthorship W2000506665A5049073875 @default.
- W2000506665 hasAuthorship W2000506665A5050056277 @default.
- W2000506665 hasConcept C114614502 @default.
- W2000506665 hasConcept C118615104 @default.
- W2000506665 hasConcept C127413603 @default.
- W2000506665 hasConcept C132525143 @default.
- W2000506665 hasConcept C154945302 @default.
- W2000506665 hasConcept C162932704 @default.
- W2000506665 hasConcept C171250308 @default.
- W2000506665 hasConcept C17744445 @default.
- W2000506665 hasConcept C184720557 @default.
- W2000506665 hasConcept C192562407 @default.
- W2000506665 hasConcept C199539241 @default.
- W2000506665 hasConcept C2776359362 @default.
- W2000506665 hasConcept C2777212361 @default.
- W2000506665 hasConcept C2778562939 @default.
- W2000506665 hasConcept C2780841128 @default.
- W2000506665 hasConcept C33923547 @default.
- W2000506665 hasConcept C41008148 @default.
- W2000506665 hasConcept C62611344 @default.
- W2000506665 hasConcept C66938386 @default.
- W2000506665 hasConcept C80444323 @default.
- W2000506665 hasConcept C94625758 @default.
- W2000506665 hasConceptScore W2000506665C114614502 @default.
- W2000506665 hasConceptScore W2000506665C118615104 @default.
- W2000506665 hasConceptScore W2000506665C127413603 @default.
- W2000506665 hasConceptScore W2000506665C132525143 @default.
- W2000506665 hasConceptScore W2000506665C154945302 @default.
- W2000506665 hasConceptScore W2000506665C162932704 @default.
- W2000506665 hasConceptScore W2000506665C171250308 @default.
- W2000506665 hasConceptScore W2000506665C17744445 @default.
- W2000506665 hasConceptScore W2000506665C184720557 @default.
- W2000506665 hasConceptScore W2000506665C192562407 @default.
- W2000506665 hasConceptScore W2000506665C199539241 @default.
- W2000506665 hasConceptScore W2000506665C2776359362 @default.
- W2000506665 hasConceptScore W2000506665C2777212361 @default.
- W2000506665 hasConceptScore W2000506665C2778562939 @default.
- W2000506665 hasConceptScore W2000506665C2780841128 @default.
- W2000506665 hasConceptScore W2000506665C33923547 @default.
- W2000506665 hasConceptScore W2000506665C41008148 @default.
- W2000506665 hasConceptScore W2000506665C62611344 @default.
- W2000506665 hasConceptScore W2000506665C66938386 @default.
- W2000506665 hasConceptScore W2000506665C80444323 @default.
- W2000506665 hasConceptScore W2000506665C94625758 @default.
- W2000506665 hasIssue "1" @default.
- W2000506665 hasLocation W20005066651 @default.
- W2000506665 hasOpenAccess W2000506665 @default.
- W2000506665 hasPrimaryLocation W20005066651 @default.
- W2000506665 hasRelatedWork W1981446230 @default.
- W2000506665 hasRelatedWork W2054369242 @default.
- W2000506665 hasRelatedWork W2061255446 @default.
- W2000506665 hasRelatedWork W2070577363 @default.
- W2000506665 hasRelatedWork W2107522728 @default.
- W2000506665 hasRelatedWork W2144981154 @default.
- W2000506665 hasRelatedWork W2322973510 @default.
- W2000506665 hasRelatedWork W2365128652 @default.
- W2000506665 hasRelatedWork W3003396734 @default.
- W2000506665 hasRelatedWork W4308701128 @default.
- W2000506665 hasVolume "6" @default.
- W2000506665 isParatext "false" @default.
- W2000506665 isRetracted "false" @default.
- W2000506665 magId "2000506665" @default.
- W2000506665 workType "article" @default.