FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1512384004> ?p ?o ?g. }

• W1512384004 abstract "Abstract : Increasingly numerous and complex communication protocols are being employed in distributed systems and computer networks of all types. This Note describes some of the more formal techniques that are being developed to facilitate design of correct protocols. Our major conclusion is that it is vital to specify the services provided by a protocol layer in addition to specifying the cooperating protocol entities which make up the layer. We develop service specifications of several representative protocols by using formal techniques from software engineering such as abstract machines and buffer histories. A survey of protocol verification methods and a bibliography indexed by key phrases are also provided." @default.
• W1512384004 created "2016-06-24" @default.
• W1512384004 creator A5064238163 @default.
• W1512384004 date "1979-01-01" @default.
• W1512384004 modified "2023-09-23" @default.
• W1512384004 title "Formal Methods for Communication Protocol Specification and Verification" @default.
• W1512384004 cites W1593414957 @default.
• W1512384004 cites W1605847448 @default.
• W1512384004 cites W1884503759 @default.
• W1512384004 cites W1966830193 @default.
• W1512384004 cites W1973292169 @default.
• W1512384004 cites W1988698058 @default.
• W1512384004 cites W1990866691 @default.
• W1512384004 cites W1994350081 @default.
• W1512384004 cites W2019548530 @default.
• W1512384004 cites W2022839342 @default.
• W1512384004 cites W2027232632 @default.
• W1512384004 cites W2042801853 @default.
• W1512384004 cites W2047482026 @default.
• W1512384004 cites W2066125335 @default.
• W1512384004 cites W2077977516 @default.
• W1512384004 cites W2085818042 @default.
• W1512384004 cites W2086400283 @default.
• W1512384004 cites W2096829805 @default.
• W1512384004 cites W2126924915 @default.
• W1512384004 cites W2130140280 @default.
• W1512384004 cites W2153733834 @default.
• W1512384004 cites W2155648071 @default.
• W1512384004 cites W2169384717 @default.
• W1512384004 cites W2229174842 @default.
• W1512384004 cites W2998589372 @default.
• W1512384004 cites W3137220996 @default.
• W1512384004 hasPublicationYear "1979" @default.
• W1512384004 type Work @default.
• W1512384004 sameAs 1512384004 @default.
• W1512384004 citedByCount "2" @default.
• W1512384004 crossrefType "journal-article" @default.
• W1512384004 hasAuthorship W1512384004A5064238163 @default.
• W1512384004 hasConcept C111498074 @default.
• W1512384004 hasConcept C111919701 @default.
• W1512384004 hasConcept C115903868 @default.
• W1512384004 hasConcept C116253237 @default.
• W1512384004 hasConcept C120314980 @default.
• W1512384004 hasConcept C12269588 @default.
• W1512384004 hasConcept C142724271 @default.
• W1512384004 hasConcept C178790620 @default.
• W1512384004 hasConcept C185592680 @default.
• W1512384004 hasConcept C199360897 @default.
• W1512384004 hasConcept C204787440 @default.
• W1512384004 hasConcept C26517878 @default.
• W1512384004 hasConcept C2779227376 @default.
• W1512384004 hasConcept C2780385302 @default.
• W1512384004 hasConcept C31258907 @default.
• W1512384004 hasConcept C41008148 @default.
• W1512384004 hasConcept C71924100 @default.
• W1512384004 hasConcept C75606506 @default.
• W1512384004 hasConceptScore W1512384004C111498074 @default.
• W1512384004 hasConceptScore W1512384004C111919701 @default.
• W1512384004 hasConceptScore W1512384004C115903868 @default.
• W1512384004 hasConceptScore W1512384004C116253237 @default.
• W1512384004 hasConceptScore W1512384004C120314980 @default.
• W1512384004 hasConceptScore W1512384004C12269588 @default.
• W1512384004 hasConceptScore W1512384004C142724271 @default.
• W1512384004 hasConceptScore W1512384004C178790620 @default.
• W1512384004 hasConceptScore W1512384004C185592680 @default.
• W1512384004 hasConceptScore W1512384004C199360897 @default.
• W1512384004 hasConceptScore W1512384004C204787440 @default.
• W1512384004 hasConceptScore W1512384004C26517878 @default.
• W1512384004 hasConceptScore W1512384004C2779227376 @default.
• W1512384004 hasConceptScore W1512384004C2780385302 @default.
• W1512384004 hasConceptScore W1512384004C31258907 @default.
• W1512384004 hasConceptScore W1512384004C41008148 @default.
• W1512384004 hasConceptScore W1512384004C71924100 @default.
• W1512384004 hasConceptScore W1512384004C75606506 @default.
• W1512384004 hasLocation W15123840041 @default.
• W1512384004 hasOpenAccess W1512384004 @default.
• W1512384004 hasPrimaryLocation W15123840041 @default.
• W1512384004 hasRelatedWork W1507653811 @default.
• W1512384004 hasRelatedWork W1585321256 @default.
• W1512384004 hasRelatedWork W1948000064 @default.
• W1512384004 hasRelatedWork W1985249033 @default.
• W1512384004 hasRelatedWork W2040236073 @default.
• W1512384004 hasRelatedWork W2041473616 @default.
• W1512384004 hasRelatedWork W2052538955 @default.
• W1512384004 hasRelatedWork W2067481788 @default.
• W1512384004 hasRelatedWork W2096348210 @default.
• W1512384004 hasRelatedWork W2100731616 @default.
• W1512384004 hasRelatedWork W2104675805 @default.
• W1512384004 hasRelatedWork W2125993077 @default.
• W1512384004 hasRelatedWork W2135147132 @default.
• W1512384004 hasRelatedWork W2135979483 @default.
• W1512384004 hasRelatedWork W2146747654 @default.
• W1512384004 hasRelatedWork W2150408129 @default.
• W1512384004 hasRelatedWork W2165373889 @default.
• W1512384004 hasRelatedWork W2169257321 @default.
• W1512384004 hasRelatedWork W2540184953 @default.
• W1512384004 hasRelatedWork W297617173 @default.
• W1512384004 isParatext "false" @default.
• W1512384004 isRetracted "false" @default.
• W1512384004 magId "1512384004" @default.

• next