FRINK Linked Data Fragments server

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

• W1565503286 abstract "Abstract By means of an example, we present a formal method for the stepwise development of communication protocols. The development process starts from global, non-constructive service specifications and ends in executable implementations of the protocol entities. The most important feature of the method is that a wide range of abstraction levels is covered by providing description techniques tailored to each level. Technically, the method is based on the specification of traces and stream processing functions by predicate logic." @default.
• W1565503286 created "2016-06-24" @default.
• W1565503286 creator A5065636379 @default.
• W1565503286 creator A5088883191 @default.
• W1565503286 date "1992-01-01" @default.
• W1565503286 modified "2023-09-27" @default.
• W1565503286 title "From service specification to protocol entity implementation - An exercise in formal protocol development" @default.
• W1565503286 cites W1510747595 @default.
• W1565503286 cites W1522813269 @default.
• W1565503286 cites W1987862571 @default.
• W1565503286 cites W2019085461 @default.
• W1565503286 cites W2028032512 @default.
• W1565503286 cites W2130140280 @default.
• W1565503286 cites W2276115202 @default.
• W1565503286 cites W2544886868 @default.
• W1565503286 cites W2914206182 @default.
• W1565503286 cites W120235210 @default.
• W1565503286 doi "https://doi.org/10.1016/b978-0-444-89874-6.50017-9" @default.
• W1565503286 hasPublicationYear "1992" @default.
• W1565503286 type Work @default.
• W1565503286 sameAs 1565503286 @default.
• W1565503286 citedByCount "6" @default.
• W1565503286 crossrefType "book-chapter" @default.
• W1565503286 hasAuthorship W1565503286A5065636379 @default.
• W1565503286 hasAuthorship W1565503286A5088883191 @default.
• W1565503286 hasConcept C110875604 @default.
• W1565503286 hasConcept C111472728 @default.
• W1565503286 hasConcept C111919701 @default.
• W1565503286 hasConcept C115903868 @default.
• W1565503286 hasConcept C116253237 @default.
• W1565503286 hasConcept C120314980 @default.
• W1565503286 hasConcept C124304363 @default.
• W1565503286 hasConcept C136264566 @default.
• W1565503286 hasConcept C138885662 @default.
• W1565503286 hasConcept C142724271 @default.
• W1565503286 hasConcept C14331664 @default.
• W1565503286 hasConcept C160145156 @default.
• W1565503286 hasConcept C162324750 @default.
• W1565503286 hasConcept C199360897 @default.
• W1565503286 hasConcept C204787440 @default.
• W1565503286 hasConcept C26713055 @default.
• W1565503286 hasConcept C2780378061 @default.
• W1565503286 hasConcept C2780385302 @default.
• W1565503286 hasConcept C41008148 @default.
• W1565503286 hasConcept C65567647 @default.
• W1565503286 hasConcept C71065454 @default.
• W1565503286 hasConcept C71924100 @default.
• W1565503286 hasConcept C75114861 @default.
• W1565503286 hasConcept C75606506 @default.
• W1565503286 hasConcept C90069079 @default.
• W1565503286 hasConceptScore W1565503286C110875604 @default.
• W1565503286 hasConceptScore W1565503286C111472728 @default.
• W1565503286 hasConceptScore W1565503286C111919701 @default.
• W1565503286 hasConceptScore W1565503286C115903868 @default.
• W1565503286 hasConceptScore W1565503286C116253237 @default.
• W1565503286 hasConceptScore W1565503286C120314980 @default.
• W1565503286 hasConceptScore W1565503286C124304363 @default.
• W1565503286 hasConceptScore W1565503286C136264566 @default.
• W1565503286 hasConceptScore W1565503286C138885662 @default.
• W1565503286 hasConceptScore W1565503286C142724271 @default.
• W1565503286 hasConceptScore W1565503286C14331664 @default.
• W1565503286 hasConceptScore W1565503286C160145156 @default.
• W1565503286 hasConceptScore W1565503286C162324750 @default.
• W1565503286 hasConceptScore W1565503286C199360897 @default.
• W1565503286 hasConceptScore W1565503286C204787440 @default.
• W1565503286 hasConceptScore W1565503286C26713055 @default.
• W1565503286 hasConceptScore W1565503286C2780378061 @default.
• W1565503286 hasConceptScore W1565503286C2780385302 @default.
• W1565503286 hasConceptScore W1565503286C41008148 @default.
• W1565503286 hasConceptScore W1565503286C65567647 @default.
• W1565503286 hasConceptScore W1565503286C71065454 @default.
• W1565503286 hasConceptScore W1565503286C71924100 @default.
• W1565503286 hasConceptScore W1565503286C75114861 @default.
• W1565503286 hasConceptScore W1565503286C75606506 @default.
• W1565503286 hasConceptScore W1565503286C90069079 @default.
• W1565503286 hasLocation W15655032861 @default.
• W1565503286 hasOpenAccess W1565503286 @default.
• W1565503286 hasPrimaryLocation W15655032861 @default.
• W1565503286 hasRelatedWork W1543233564 @default.
• W1565503286 hasRelatedWork W1545353526 @default.
• W1565503286 hasRelatedWork W1582256170 @default.
• W1565503286 hasRelatedWork W1981437988 @default.
• W1565503286 hasRelatedWork W1992415821 @default.
• W1565503286 hasRelatedWork W2055608559 @default.
• W1565503286 hasRelatedWork W2125910029 @default.
• W1565503286 hasRelatedWork W2131358025 @default.
• W1565503286 hasRelatedWork W2135755299 @default.
• W1565503286 hasRelatedWork W2144626181 @default.
• W1565503286 hasRelatedWork W2145443760 @default.
• W1565503286 hasRelatedWork W2160520149 @default.
• W1565503286 hasRelatedWork W2166288236 @default.
• W1565503286 hasRelatedWork W2166772522 @default.
• W1565503286 hasRelatedWork W2169798548 @default.
• W1565503286 hasRelatedWork W2171537746 @default.
• W1565503286 hasRelatedWork W2290676045 @default.
• W1565503286 hasRelatedWork W2535159545 @default.
• W1565503286 hasRelatedWork W2566851103 @default.
• W1565503286 hasRelatedWork W2589343889 @default.
• W1565503286 isParatext "false" @default.
• W1565503286 isRetracted "false" @default.

• next