Matches in SemOpenAlex for { <https://semopenalex.org/work/W2012607009> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W2012607009 abstract "Abstract A technique is described for automatic validation of communication protocols that are given in the form of regular protocol diagrams. It is based on the use of the link state introduced by West [2], but it has the advantage of not requiring that the state transition diagrams of the two communicating processes be available. The technique is applied to the validation of the CCITT X.21 protocol to illustrate the ease with which it can be used to detect reception errors, deadlock errors and overflow errors." @default.
- W2012607009 created "2016-06-24" @default.
- W2012607009 creator A5048050128 @default.
- W2012607009 creator A5052087166 @default.
- W2012607009 creator A5068005079 @default.
- W2012607009 date "1981-07-01" @default.
- W2012607009 modified "2023-09-27" @default.
- W2012607009 title "Protocol validation by synthesizing communications system behaviors" @default.
- W2012607009 cites W1988698058 @default.
- W2012607009 cites W2017498512 @default.
- W2012607009 cites W2077977516 @default.
- W2012607009 cites W2153733834 @default.
- W2012607009 doi "https://doi.org/10.1016/0020-0255(81)90018-9" @default.
- W2012607009 hasPublicationYear "1981" @default.
- W2012607009 type Work @default.
- W2012607009 sameAs 2012607009 @default.
- W2012607009 citedByCount "1" @default.
- W2012607009 crossrefType "journal-article" @default.
- W2012607009 hasAuthorship W2012607009A5048050128 @default.
- W2012607009 hasAuthorship W2012607009A5052087166 @default.
- W2012607009 hasAuthorship W2012607009A5068005079 @default.
- W2012607009 hasConcept C120314980 @default.
- W2012607009 hasConcept C12269588 @default.
- W2012607009 hasConcept C142724271 @default.
- W2012607009 hasConcept C159023740 @default.
- W2012607009 hasConcept C199360897 @default.
- W2012607009 hasConcept C204787440 @default.
- W2012607009 hasConcept C2780385302 @default.
- W2012607009 hasConcept C31258907 @default.
- W2012607009 hasConcept C41008148 @default.
- W2012607009 hasConcept C48103436 @default.
- W2012607009 hasConcept C71924100 @default.
- W2012607009 hasConceptScore W2012607009C120314980 @default.
- W2012607009 hasConceptScore W2012607009C12269588 @default.
- W2012607009 hasConceptScore W2012607009C142724271 @default.
- W2012607009 hasConceptScore W2012607009C159023740 @default.
- W2012607009 hasConceptScore W2012607009C199360897 @default.
- W2012607009 hasConceptScore W2012607009C204787440 @default.
- W2012607009 hasConceptScore W2012607009C2780385302 @default.
- W2012607009 hasConceptScore W2012607009C31258907 @default.
- W2012607009 hasConceptScore W2012607009C41008148 @default.
- W2012607009 hasConceptScore W2012607009C48103436 @default.
- W2012607009 hasConceptScore W2012607009C71924100 @default.
- W2012607009 hasLocation W20126070091 @default.
- W2012607009 hasOpenAccess W2012607009 @default.
- W2012607009 hasPrimaryLocation W20126070091 @default.
- W2012607009 hasRelatedWork W1497120597 @default.
- W2012607009 hasRelatedWork W1510766944 @default.
- W2012607009 hasRelatedWork W1525478537 @default.
- W2012607009 hasRelatedWork W172041966 @default.
- W2012607009 hasRelatedWork W2001378938 @default.
- W2012607009 hasRelatedWork W2030694909 @default.
- W2012607009 hasRelatedWork W2044311901 @default.
- W2012607009 hasRelatedWork W2070568863 @default.
- W2012607009 hasRelatedWork W2074221062 @default.
- W2012607009 hasRelatedWork W207759855 @default.
- W2012607009 hasRelatedWork W2077977516 @default.
- W2012607009 hasRelatedWork W2097925624 @default.
- W2012607009 hasRelatedWork W2101345254 @default.
- W2012607009 hasRelatedWork W2129434369 @default.
- W2012607009 hasRelatedWork W2137604356 @default.
- W2012607009 hasRelatedWork W2153172234 @default.
- W2012607009 hasRelatedWork W2153733834 @default.
- W2012607009 hasRelatedWork W2165701884 @default.
- W2012607009 hasRelatedWork W2492825885 @default.
- W2012607009 hasRelatedWork W2540967657 @default.
- W2012607009 isParatext "false" @default.
- W2012607009 isRetracted "false" @default.
- W2012607009 magId "2012607009" @default.
- W2012607009 workType "article" @default.