FRINK Linked Data Fragments server

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

• W1985925577 endingPage "31" @default.
• W1985925577 startingPage "20" @default.
• W1985925577 abstract "We consider the problem of verifying correctness of finite state machines that communicate with each other over unbounded FIFO channels that are unreliable. Various problems of interest in verification of FIFO channels that can lose messages have been considered by Finkel and by Abdulla and Jonsson. We consider, in this paper, other possible unreliable behaviors of communication channels, viz., (a) duplication and (b) insertion errors. Furthermore, we also consider various combinations of duplication, insertion, and lossiness errors. Finite state machines that communicate over unbounded FIFO buffers are a model of computation that forms the backbone of the ISO standard protocol specification languages Estelle and SDL. While the assumption of a perfect communication medium is reasonable at the higher levels of the OSI protocol stack, the lower levels have to deal with an unreliable communication medium; hence our motivation for the present work. The verification problems that are of interest arereachability,unboundedness,deadlock, andmodel-checking against CTL*. All of these problems are undecidable for machines communicating over reliable unbounded FIFO channels. So it is perhaps surprising that some of these problems become decidable when unreliable channels are modeled. The contributions of this paper are (a) an investigation of solutions to these problems for machines with insertion errors, duplication errors, or a combination of duplication, insertion, and lossiness errors, and (b) a comparison of the relative expressive power of the various errors." @default.
• W1985925577 created "2016-06-24" @default.
• W1985925577 creator A5015651954 @default.
• W1985925577 creator A5051788925 @default.
• W1985925577 creator A5069883788 @default.
• W1985925577 date "1996-01-01" @default.
• W1985925577 modified "2023-10-16" @default.
• W1985925577 title "Unreliable Channels Are Easier to Verify Than Perfect Channels" @default.
• W1985925577 cites W1505482284 @default.
• W1985925577 cites W1514324498 @default.
• W1985925577 cites W1592689879 @default.
• W1985925577 cites W1593905218 @default.
• W1985925577 cites W1978358700 @default.
• W1985925577 cites W1980330971 @default.
• W1985925577 cites W1994564174 @default.
• W1985925577 cites W2004306067 @default.
• W1985925577 cites W2025970201 @default.
• W1985925577 cites W2029117638 @default.
• W1985925577 cites W2046213250 @default.
• W1985925577 cites W2076508310 @default.
• W1985925577 cites W2110697379 @default.
• W1985925577 cites W2123160677 @default.
• W1985925577 cites W2130994701 @default.
• W1985925577 cites W2688386367 @default.
• W1985925577 doi "https://doi.org/10.1006/inco.1996.0003" @default.
• W1985925577 hasPublicationYear "1996" @default.
• W1985925577 type Work @default.
• W1985925577 sameAs 1985925577 @default.
• W1985925577 citedByCount "119" @default.
• W1985925577 countsByYear W19859255772012 @default.
• W1985925577 countsByYear W19859255772013 @default.
• W1985925577 countsByYear W19859255772014 @default.
• W1985925577 countsByYear W19859255772015 @default.
• W1985925577 countsByYear W19859255772016 @default.
• W1985925577 countsByYear W19859255772017 @default.
• W1985925577 countsByYear W19859255772018 @default.
• W1985925577 countsByYear W19859255772019 @default.
• W1985925577 countsByYear W19859255772020 @default.
• W1985925577 countsByYear W19859255772021 @default.
• W1985925577 countsByYear W19859255772023 @default.
• W1985925577 crossrefType "journal-article" @default.
• W1985925577 hasAuthorship W1985925577A5015651954 @default.
• W1985925577 hasAuthorship W1985925577A5051788925 @default.
• W1985925577 hasAuthorship W1985925577A5069883788 @default.
• W1985925577 hasBestOaLocation W19859255771 @default.
• W1985925577 hasConcept C11413529 @default.
• W1985925577 hasConcept C120314980 @default.
• W1985925577 hasConcept C127162648 @default.
• W1985925577 hasConcept C142724271 @default.
• W1985925577 hasConcept C153269930 @default.
• W1985925577 hasConcept C159023740 @default.
• W1985925577 hasConcept C167822520 @default.
• W1985925577 hasConcept C192034797 @default.
• W1985925577 hasConcept C199360897 @default.
• W1985925577 hasConcept C204787440 @default.
• W1985925577 hasConcept C2777145635 @default.
• W1985925577 hasConcept C2780385302 @default.
• W1985925577 hasConcept C31258907 @default.
• W1985925577 hasConcept C41008148 @default.
• W1985925577 hasConcept C48103436 @default.
• W1985925577 hasConcept C55439883 @default.
• W1985925577 hasConcept C71924100 @default.
• W1985925577 hasConcept C80444323 @default.
• W1985925577 hasConceptScore W1985925577C11413529 @default.
• W1985925577 hasConceptScore W1985925577C120314980 @default.
• W1985925577 hasConceptScore W1985925577C127162648 @default.
• W1985925577 hasConceptScore W1985925577C142724271 @default.
• W1985925577 hasConceptScore W1985925577C153269930 @default.
• W1985925577 hasConceptScore W1985925577C159023740 @default.
• W1985925577 hasConceptScore W1985925577C167822520 @default.
• W1985925577 hasConceptScore W1985925577C192034797 @default.
• W1985925577 hasConceptScore W1985925577C199360897 @default.
• W1985925577 hasConceptScore W1985925577C204787440 @default.
• W1985925577 hasConceptScore W1985925577C2777145635 @default.
• W1985925577 hasConceptScore W1985925577C2780385302 @default.
• W1985925577 hasConceptScore W1985925577C31258907 @default.
• W1985925577 hasConceptScore W1985925577C41008148 @default.
• W1985925577 hasConceptScore W1985925577C48103436 @default.
• W1985925577 hasConceptScore W1985925577C55439883 @default.
• W1985925577 hasConceptScore W1985925577C71924100 @default.
• W1985925577 hasConceptScore W1985925577C80444323 @default.
• W1985925577 hasIssue "1" @default.
• W1985925577 hasLocation W19859255771 @default.
• W1985925577 hasOpenAccess W1985925577 @default.
• W1985925577 hasPrimaryLocation W19859255771 @default.
• W1985925577 hasRelatedWork W1494702893 @default.
• W1985925577 hasRelatedWork W1525549798 @default.
• W1985925577 hasRelatedWork W1614411949 @default.
• W1985925577 hasRelatedWork W1679995765 @default.
• W1985925577 hasRelatedWork W1985925577 @default.
• W1985925577 hasRelatedWork W2078562310 @default.
• W1985925577 hasRelatedWork W2291169272 @default.
• W1985925577 hasRelatedWork W2889429285 @default.
• W1985925577 hasRelatedWork W2964244129 @default.
• W1985925577 hasRelatedWork W4231916372 @default.
• W1985925577 hasVolume "124" @default.
• W1985925577 isParatext "false" @default.
• W1985925577 isRetracted "false" @default.

• next