Matches in SemOpenAlex for { <https://semopenalex.org/work/W102769969> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W102769969 endingPage "391" @default.
- W102769969 startingPage "384" @default.
- W102769969 abstract "The rapid proliferation of computer networks has resulted in numerous homogeneous and heterogeneous networks co-existing today. To achieve interoperability between them, internetworking through the use of gateways has become a priority. The basic problem in designing a heterogeneous internetwork is the mismatch between the internal architectures of the component networks, known as protocol mismatch. An immediate solution is the incorporation of a protocol conversion mechanism into the gateway, giving rise to a heterogeneous protocol system consisting of two incompatible peer processes communicating via a converter sited between them. Verification of this system is necessary to ensure the proper design of the converter and the progress properties of the heterogeneous protocol. Using a communicating finite state machine (CFSM) model, we have studied the dynamics of a general heterogeneous protocol system, and we present a formal procedure to perform a fast reachability analysis of the system for the purposes of its verification. Performing a reachability analysis of a heterogeneous protocol system is a new dimension in protocol converter design, and the verification algorithm presented in this paper — a remarkable improvement upon the conventional technique — employs the reduction approach of a state transition graph representation of the CFSMs involved, hence the name reduced reachability analysis." @default.
- W102769969 created "2016-06-24" @default.
- W102769969 creator A5057138590 @default.
- W102769969 date "1995-05-01" @default.
- W102769969 modified "2023-09-23" @default.
- W102769969 title "Verifying the progress properties of a heterogeneous protocol system in an internetworking environment" @default.
- W102769969 cites W1971834761 @default.
- W102769969 cites W1997166433 @default.
- W102769969 cites W1998104425 @default.
- W102769969 cites W2002850536 @default.
- W102769969 cites W2019819322 @default.
- W102769969 cites W2025970201 @default.
- W102769969 cites W2029117638 @default.
- W102769969 cites W2078562310 @default.
- W102769969 cites W2089479355 @default.
- W102769969 cites W2097786642 @default.
- W102769969 cites W2104293663 @default.
- W102769969 cites W2110121542 @default.
- W102769969 cites W2119558812 @default.
- W102769969 cites W2128887498 @default.
- W102769969 cites W2131037003 @default.
- W102769969 cites W2144974453 @default.
- W102769969 cites W2145172753 @default.
- W102769969 cites W2153339829 @default.
- W102769969 cites W2295505374 @default.
- W102769969 cites W2296360264 @default.
- W102769969 doi "https://doi.org/10.1016/0140-3664(95)96840-m" @default.
- W102769969 hasPublicationYear "1995" @default.
- W102769969 type Work @default.
- W102769969 sameAs 102769969 @default.
- W102769969 citedByCount "3" @default.
- W102769969 crossrefType "journal-article" @default.
- W102769969 hasAuthorship W102769969A5057138590 @default.
- W102769969 hasConcept C108037233 @default.
- W102769969 hasConcept C110875604 @default.
- W102769969 hasConcept C111919701 @default.
- W102769969 hasConcept C11413529 @default.
- W102769969 hasConcept C120314980 @default.
- W102769969 hasConcept C12269588 @default.
- W102769969 hasConcept C136643341 @default.
- W102769969 hasConcept C142724271 @default.
- W102769969 hasConcept C158207573 @default.
- W102769969 hasConcept C167822520 @default.
- W102769969 hasConcept C187713609 @default.
- W102769969 hasConcept C20136886 @default.
- W102769969 hasConcept C204787440 @default.
- W102769969 hasConcept C2780385302 @default.
- W102769969 hasConcept C2780405328 @default.
- W102769969 hasConcept C31258907 @default.
- W102769969 hasConcept C41008148 @default.
- W102769969 hasConcept C555944384 @default.
- W102769969 hasConcept C71924100 @default.
- W102769969 hasConcept C80444323 @default.
- W102769969 hasConceptScore W102769969C108037233 @default.
- W102769969 hasConceptScore W102769969C110875604 @default.
- W102769969 hasConceptScore W102769969C111919701 @default.
- W102769969 hasConceptScore W102769969C11413529 @default.
- W102769969 hasConceptScore W102769969C120314980 @default.
- W102769969 hasConceptScore W102769969C12269588 @default.
- W102769969 hasConceptScore W102769969C136643341 @default.
- W102769969 hasConceptScore W102769969C142724271 @default.
- W102769969 hasConceptScore W102769969C158207573 @default.
- W102769969 hasConceptScore W102769969C167822520 @default.
- W102769969 hasConceptScore W102769969C187713609 @default.
- W102769969 hasConceptScore W102769969C20136886 @default.
- W102769969 hasConceptScore W102769969C204787440 @default.
- W102769969 hasConceptScore W102769969C2780385302 @default.
- W102769969 hasConceptScore W102769969C2780405328 @default.
- W102769969 hasConceptScore W102769969C31258907 @default.
- W102769969 hasConceptScore W102769969C41008148 @default.
- W102769969 hasConceptScore W102769969C555944384 @default.
- W102769969 hasConceptScore W102769969C71924100 @default.
- W102769969 hasConceptScore W102769969C80444323 @default.
- W102769969 hasIssue "5" @default.
- W102769969 hasLocation W1027699691 @default.
- W102769969 hasOpenAccess W102769969 @default.
- W102769969 hasPrimaryLocation W1027699691 @default.
- W102769969 hasRelatedWork W102769969 @default.
- W102769969 hasRelatedWork W1567137300 @default.
- W102769969 hasRelatedWork W1586216108 @default.
- W102769969 hasRelatedWork W2064726021 @default.
- W102769969 hasRelatedWork W2070568863 @default.
- W102769969 hasRelatedWork W2089768215 @default.
- W102769969 hasRelatedWork W2117066020 @default.
- W102769969 hasRelatedWork W2132349404 @default.
- W102769969 hasRelatedWork W2188625294 @default.
- W102769969 hasRelatedWork W2362210898 @default.
- W102769969 hasVolume "18" @default.
- W102769969 isParatext "false" @default.
- W102769969 isRetracted "false" @default.
- W102769969 magId "102769969" @default.
- W102769969 workType "article" @default.