Matches in SemOpenAlex for { <https://semopenalex.org/work/W2005363948> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2005363948 endingPage "1407" @default.
- W2005363948 startingPage "1403" @default.
- W2005363948 abstract "A formal analysis procedure for hardware and software computer systems is described. A system is described by a flow table model. The concept of an output hazard is introduced to account for effects of unbounded line delays. Necessary and sufficient conditions for the absence of output hazards are given. A system that contains no output hazards is said to operate correctly if the system state graph that describes all system states and state transitions is free from forbidden states and forbidden state sequences. A flow table solution for the two-component mutual exclusion problem is analyzed and shown to be correct." @default.
- W2005363948 created "2016-06-24" @default.
- W2005363948 creator A5064525268 @default.
- W2005363948 date "1971-11-01" @default.
- W2005363948 modified "2023-09-25" @default.
- W2005363948 title "Analysis of Parallel Systems" @default.
- W2005363948 cites W1493991387 @default.
- W2005363948 cites W1513575367 @default.
- W2005363948 cites W1907395728 @default.
- W2005363948 cites W2007696147 @default.
- W2005363948 cites W2031144446 @default.
- W2005363948 cites W2032847002 @default.
- W2005363948 cites W2040637509 @default.
- W2005363948 cites W2046798807 @default.
- W2005363948 cites W2080263276 @default.
- W2005363948 cites W2106001218 @default.
- W2005363948 cites W2114171196 @default.
- W2005363948 cites W2169608281 @default.
- W2005363948 cites W2170523074 @default.
- W2005363948 cites W2727857227 @default.
- W2005363948 cites W2752853835 @default.
- W2005363948 cites W2970264471 @default.
- W2005363948 cites W3093036 @default.
- W2005363948 doi "https://doi.org/10.1109/t-c.1971.223146" @default.
- W2005363948 hasPublicationYear "1971" @default.
- W2005363948 type Work @default.
- W2005363948 sameAs 2005363948 @default.
- W2005363948 citedByCount "2" @default.
- W2005363948 crossrefType "journal-article" @default.
- W2005363948 hasAuthorship W2005363948A5064525268 @default.
- W2005363948 hasBestOaLocation W20053639482 @default.
- W2005363948 hasConcept C11413529 @default.
- W2005363948 hasConcept C121332964 @default.
- W2005363948 hasConcept C124101348 @default.
- W2005363948 hasConcept C132525143 @default.
- W2005363948 hasConcept C168167062 @default.
- W2005363948 hasConcept C199360897 @default.
- W2005363948 hasConcept C2524010 @default.
- W2005363948 hasConcept C27458966 @default.
- W2005363948 hasConcept C2777904410 @default.
- W2005363948 hasConcept C33923547 @default.
- W2005363948 hasConcept C38349280 @default.
- W2005363948 hasConcept C41008148 @default.
- W2005363948 hasConcept C45235069 @default.
- W2005363948 hasConcept C48103436 @default.
- W2005363948 hasConcept C56348326 @default.
- W2005363948 hasConcept C80444323 @default.
- W2005363948 hasConcept C97355855 @default.
- W2005363948 hasConceptScore W2005363948C11413529 @default.
- W2005363948 hasConceptScore W2005363948C121332964 @default.
- W2005363948 hasConceptScore W2005363948C124101348 @default.
- W2005363948 hasConceptScore W2005363948C132525143 @default.
- W2005363948 hasConceptScore W2005363948C168167062 @default.
- W2005363948 hasConceptScore W2005363948C199360897 @default.
- W2005363948 hasConceptScore W2005363948C2524010 @default.
- W2005363948 hasConceptScore W2005363948C27458966 @default.
- W2005363948 hasConceptScore W2005363948C2777904410 @default.
- W2005363948 hasConceptScore W2005363948C33923547 @default.
- W2005363948 hasConceptScore W2005363948C38349280 @default.
- W2005363948 hasConceptScore W2005363948C41008148 @default.
- W2005363948 hasConceptScore W2005363948C45235069 @default.
- W2005363948 hasConceptScore W2005363948C48103436 @default.
- W2005363948 hasConceptScore W2005363948C56348326 @default.
- W2005363948 hasConceptScore W2005363948C80444323 @default.
- W2005363948 hasConceptScore W2005363948C97355855 @default.
- W2005363948 hasIssue "11" @default.
- W2005363948 hasLocation W20053639481 @default.
- W2005363948 hasLocation W20053639482 @default.
- W2005363948 hasOpenAccess W2005363948 @default.
- W2005363948 hasPrimaryLocation W20053639481 @default.
- W2005363948 hasRelatedWork W1507793640 @default.
- W2005363948 hasRelatedWork W1516632679 @default.
- W2005363948 hasRelatedWork W1594550369 @default.
- W2005363948 hasRelatedWork W2008520402 @default.
- W2005363948 hasRelatedWork W2096067805 @default.
- W2005363948 hasRelatedWork W2363886702 @default.
- W2005363948 hasRelatedWork W2405960229 @default.
- W2005363948 hasRelatedWork W2770721896 @default.
- W2005363948 hasRelatedWork W2965198885 @default.
- W2005363948 hasRelatedWork W3169287742 @default.
- W2005363948 hasVolume "C-20" @default.
- W2005363948 isParatext "false" @default.
- W2005363948 isRetracted "false" @default.
- W2005363948 magId "2005363948" @default.
- W2005363948 workType "article" @default.