Matches in SemOpenAlex for { <https://semopenalex.org/work/W2225152177> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2225152177 endingPage "395" @default.
- W2225152177 startingPage "381" @default.
- W2225152177 abstract "End-to-end transport protocols are a fundamental concept in networking. Its situation within the protocol hierarchy as well as its main functions are first reviewed. A formal representation model, particularly well adapted to this kind of protocols, but useful also for other protocol types, is then introduced. The separation of the protocol automation in two distinct finite state automata and the splitting of the state set of one of these automata in a set of user partial states and a set of network partial states are main features of this model. A modelling methodology allowing a straightforward application of the model to any end-to-end transport protocol is also described. A second part of the paper is concerned with the validation of the control functions of protocols. A method for detection of deadlock situations is presented. This method consists of determining all possible deadlock situations and then of testing whether these situations may be reached by the protocol. Some results of the verification of the Cyclades transport protocol are also reproduced." @default.
- W2225152177 created "2016-06-24" @default.
- W2225152177 creator A5004568917 @default.
- W2225152177 creator A5034114745 @default.
- W2225152177 date "1978-09-01" @default.
- W2225152177 modified "2023-09-27" @default.
- W2225152177 title "Modelling and verification of end-to-end transport protocols" @default.
- W2225152177 cites W1990487726 @default.
- W2225152177 cites W2017498512 @default.
- W2225152177 cites W2027232632 @default.
- W2225152177 cites W2030432449 @default.
- W2225152177 cites W2042801853 @default.
- W2225152177 cites W2174359540 @default.
- W2225152177 doi "https://doi.org/10.1016/0376-5075(78)90017-x" @default.
- W2225152177 hasPublicationYear "1978" @default.
- W2225152177 type Work @default.
- W2225152177 sameAs 2225152177 @default.
- W2225152177 citedByCount "16" @default.
- W2225152177 countsByYear W22251521772021 @default.
- W2225152177 crossrefType "journal-article" @default.
- W2225152177 hasAuthorship W2225152177A5004568917 @default.
- W2225152177 hasAuthorship W2225152177A5034114745 @default.
- W2225152177 hasConcept C11413529 @default.
- W2225152177 hasConcept C120314980 @default.
- W2225152177 hasConcept C142724271 @default.
- W2225152177 hasConcept C159023740 @default.
- W2225152177 hasConcept C162324750 @default.
- W2225152177 hasConcept C167822520 @default.
- W2225152177 hasConcept C177264268 @default.
- W2225152177 hasConcept C17744445 @default.
- W2225152177 hasConcept C199360897 @default.
- W2225152177 hasConcept C199539241 @default.
- W2225152177 hasConcept C204787440 @default.
- W2225152177 hasConcept C2776359362 @default.
- W2225152177 hasConcept C2780385302 @default.
- W2225152177 hasConcept C31170391 @default.
- W2225152177 hasConcept C31258907 @default.
- W2225152177 hasConcept C34447519 @default.
- W2225152177 hasConcept C41008148 @default.
- W2225152177 hasConcept C48103436 @default.
- W2225152177 hasConcept C71924100 @default.
- W2225152177 hasConcept C74296488 @default.
- W2225152177 hasConcept C80444323 @default.
- W2225152177 hasConcept C94625758 @default.
- W2225152177 hasConceptScore W2225152177C11413529 @default.
- W2225152177 hasConceptScore W2225152177C120314980 @default.
- W2225152177 hasConceptScore W2225152177C142724271 @default.
- W2225152177 hasConceptScore W2225152177C159023740 @default.
- W2225152177 hasConceptScore W2225152177C162324750 @default.
- W2225152177 hasConceptScore W2225152177C167822520 @default.
- W2225152177 hasConceptScore W2225152177C177264268 @default.
- W2225152177 hasConceptScore W2225152177C17744445 @default.
- W2225152177 hasConceptScore W2225152177C199360897 @default.
- W2225152177 hasConceptScore W2225152177C199539241 @default.
- W2225152177 hasConceptScore W2225152177C204787440 @default.
- W2225152177 hasConceptScore W2225152177C2776359362 @default.
- W2225152177 hasConceptScore W2225152177C2780385302 @default.
- W2225152177 hasConceptScore W2225152177C31170391 @default.
- W2225152177 hasConceptScore W2225152177C31258907 @default.
- W2225152177 hasConceptScore W2225152177C34447519 @default.
- W2225152177 hasConceptScore W2225152177C41008148 @default.
- W2225152177 hasConceptScore W2225152177C48103436 @default.
- W2225152177 hasConceptScore W2225152177C71924100 @default.
- W2225152177 hasConceptScore W2225152177C74296488 @default.
- W2225152177 hasConceptScore W2225152177C80444323 @default.
- W2225152177 hasConceptScore W2225152177C94625758 @default.
- W2225152177 hasIssue "4-5" @default.
- W2225152177 hasLocation W22251521771 @default.
- W2225152177 hasOpenAccess W2225152177 @default.
- W2225152177 hasPrimaryLocation W22251521771 @default.
- W2225152177 hasRelatedWork W1607628392 @default.
- W2225152177 hasRelatedWork W196405095 @default.
- W2225152177 hasRelatedWork W1965427743 @default.
- W2225152177 hasRelatedWork W2012480683 @default.
- W2225152177 hasRelatedWork W2099491577 @default.
- W2225152177 hasRelatedWork W2166829200 @default.
- W2225152177 hasRelatedWork W2170285655 @default.
- W2225152177 hasRelatedWork W2330741840 @default.
- W2225152177 hasRelatedWork W3087756144 @default.
- W2225152177 hasRelatedWork W1831144830 @default.
- W2225152177 hasVolume "2" @default.
- W2225152177 isParatext "false" @default.
- W2225152177 isRetracted "false" @default.
- W2225152177 magId "2225152177" @default.
- W2225152177 workType "article" @default.