Matches in SemOpenAlex for { <https://semopenalex.org/work/W2023621921> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W2023621921 endingPage "204" @default.
- W2023621921 startingPage "192" @default.
- W2023621921 abstract "In this paper, the notion of fair reachability is generalized to cyclic protocols with n/spl ges/2 machines. It is shown that each fair reachable state is of equal channel length and each deadlock state is fair reachable. As a result, deadlock detection is decidable for P, the class of cyclic protocols whose fair reachable state spaces are finite. The concept of simultaneous unboundedness is defined and the lack of it is shown to be a necessary and sufficient condition for a protocol to be in P. Through finite extension of the fair reachable state space, it is also shown that detection of unspecified receptions, unboundedness, and nonexecutable transitions are all decidable for P. Furthermore, it is shown that any protocol in P is logically correct if and only if there is no logical error in its fair reachable state space. This study demonstrates that for the class P, our generalized fair reachability analysis technique not only can achieve substantial state reduction but also maintains very competitive logical error coverage. Therefore, it is a very useful technique to prove logical correctness for a wide variety of cyclic protocols." @default.
- W2023621921 created "2016-06-24" @default.
- W2023621921 creator A5006465214 @default.
- W2023621921 creator A5057287134 @default.
- W2023621921 date "1996-04-01" @default.
- W2023621921 modified "2023-10-04" @default.
- W2023621921 title "Generalized fair reachability analysis for cyclic protocols" @default.
- W2023621921 cites W1525549798 @default.
- W2023621921 cites W1979799094 @default.
- W2023621921 cites W1987377075 @default.
- W2023621921 cites W1994564174 @default.
- W2023621921 cites W2025970201 @default.
- W2023621921 cites W2048616776 @default.
- W2023621921 cites W2052538955 @default.
- W2023621921 cites W2133153642 @default.
- W2023621921 cites W2534838886 @default.
- W2023621921 cites W4236963133 @default.
- W2023621921 doi "https://doi.org/10.1109/90.490747" @default.
- W2023621921 hasPublicationYear "1996" @default.
- W2023621921 type Work @default.
- W2023621921 sameAs 2023621921 @default.
- W2023621921 citedByCount "14" @default.
- W2023621921 crossrefType "journal-article" @default.
- W2023621921 hasAuthorship W2023621921A5006465214 @default.
- W2023621921 hasAuthorship W2023621921A5057287134 @default.
- W2023621921 hasBestOaLocation W20236219212 @default.
- W2023621921 hasConcept C105795698 @default.
- W2023621921 hasConcept C111335779 @default.
- W2023621921 hasConcept C11413529 @default.
- W2023621921 hasConcept C114614502 @default.
- W2023621921 hasConcept C118615104 @default.
- W2023621921 hasConcept C120314980 @default.
- W2023621921 hasConcept C136643341 @default.
- W2023621921 hasConcept C142724271 @default.
- W2023621921 hasConcept C153269930 @default.
- W2023621921 hasConcept C154945302 @default.
- W2023621921 hasConcept C159023740 @default.
- W2023621921 hasConcept C184720557 @default.
- W2023621921 hasConcept C199360897 @default.
- W2023621921 hasConcept C204787440 @default.
- W2023621921 hasConcept C2524010 @default.
- W2023621921 hasConcept C2777212361 @default.
- W2023621921 hasConcept C2778029271 @default.
- W2023621921 hasConcept C2780385302 @default.
- W2023621921 hasConcept C33923547 @default.
- W2023621921 hasConcept C41008148 @default.
- W2023621921 hasConcept C48103436 @default.
- W2023621921 hasConcept C55439883 @default.
- W2023621921 hasConcept C71924100 @default.
- W2023621921 hasConcept C72434380 @default.
- W2023621921 hasConcept C80444323 @default.
- W2023621921 hasConceptScore W2023621921C105795698 @default.
- W2023621921 hasConceptScore W2023621921C111335779 @default.
- W2023621921 hasConceptScore W2023621921C11413529 @default.
- W2023621921 hasConceptScore W2023621921C114614502 @default.
- W2023621921 hasConceptScore W2023621921C118615104 @default.
- W2023621921 hasConceptScore W2023621921C120314980 @default.
- W2023621921 hasConceptScore W2023621921C136643341 @default.
- W2023621921 hasConceptScore W2023621921C142724271 @default.
- W2023621921 hasConceptScore W2023621921C153269930 @default.
- W2023621921 hasConceptScore W2023621921C154945302 @default.
- W2023621921 hasConceptScore W2023621921C159023740 @default.
- W2023621921 hasConceptScore W2023621921C184720557 @default.
- W2023621921 hasConceptScore W2023621921C199360897 @default.
- W2023621921 hasConceptScore W2023621921C204787440 @default.
- W2023621921 hasConceptScore W2023621921C2524010 @default.
- W2023621921 hasConceptScore W2023621921C2777212361 @default.
- W2023621921 hasConceptScore W2023621921C2778029271 @default.
- W2023621921 hasConceptScore W2023621921C2780385302 @default.
- W2023621921 hasConceptScore W2023621921C33923547 @default.
- W2023621921 hasConceptScore W2023621921C41008148 @default.
- W2023621921 hasConceptScore W2023621921C48103436 @default.
- W2023621921 hasConceptScore W2023621921C55439883 @default.
- W2023621921 hasConceptScore W2023621921C71924100 @default.
- W2023621921 hasConceptScore W2023621921C72434380 @default.
- W2023621921 hasConceptScore W2023621921C80444323 @default.
- W2023621921 hasIssue "2" @default.
- W2023621921 hasLocation W20236219211 @default.
- W2023621921 hasLocation W20236219212 @default.
- W2023621921 hasOpenAccess W2023621921 @default.
- W2023621921 hasPrimaryLocation W20236219211 @default.
- W2023621921 hasRelatedWork W1516169988 @default.
- W2023621921 hasRelatedWork W1582650717 @default.
- W2023621921 hasRelatedWork W2023621921 @default.
- W2023621921 hasRelatedWork W2103672915 @default.
- W2023621921 hasRelatedWork W2142193128 @default.
- W2023621921 hasRelatedWork W2990690886 @default.
- W2023621921 hasRelatedWork W3155827701 @default.
- W2023621921 hasRelatedWork W4205778860 @default.
- W2023621921 hasRelatedWork W4247648311 @default.
- W2023621921 hasRelatedWork W2183398627 @default.
- W2023621921 hasVolume "4" @default.
- W2023621921 isParatext "false" @default.
- W2023621921 isRetracted "false" @default.
- W2023621921 magId "2023621921" @default.
- W2023621921 workType "article" @default.