Matches in SemOpenAlex for { <https://semopenalex.org/work/W2142193128> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2142193128 abstract "In a previous paper, we generalized the fair reachability notion to cyclic protocols with n/spl ges/2 machines and showed that deadlock detection is decidable for /spl Pscr/, the class of cyclic protocols whose fair reachable state spaces are finite. In this paper, we show that detection of unspecified receptions, unboundedness, and nonexecutable transitions are all decidable for class /spl Pscr/ via finite extension of the fair reachable state space. This study shows that for the class /spl Pscr/, our generalized fair reachability analysis technique not only achieves substantial state reduction but also maintains very competitive logical error coverage. Therefore, it is a viable state reduction technique. >" @default.
- W2142193128 created "2016-06-24" @default.
- W2142193128 creator A5006465214 @default.
- W2142193128 creator A5057287134 @default.
- W2142193128 date "2002-12-17" @default.
- W2142193128 modified "2023-10-09" @default.
- W2142193128 title "Generalized fair reachability analysis for cyclic protocols: decidability for logical correctness problems" @default.
- W2142193128 cites W148937244 @default.
- W2142193128 cites W1496894532 @default.
- W2142193128 cites W1979799094 @default.
- W2142193128 cites W1987377075 @default.
- W2142193128 cites W1994564174 @default.
- W2142193128 cites W2025970201 @default.
- W2142193128 cites W2133153642 @default.
- W2142193128 doi "https://doi.org/10.1109/icnp.1994.344371" @default.
- W2142193128 hasPublicationYear "2002" @default.
- W2142193128 type Work @default.
- W2142193128 sameAs 2142193128 @default.
- W2142193128 citedByCount "3" @default.
- W2142193128 crossrefType "proceedings-article" @default.
- W2142193128 hasAuthorship W2142193128A5006465214 @default.
- W2142193128 hasAuthorship W2142193128A5057287134 @default.
- W2142193128 hasConcept C105795698 @default.
- W2142193128 hasConcept C111335779 @default.
- W2142193128 hasConcept C113429609 @default.
- W2142193128 hasConcept C11413529 @default.
- W2142193128 hasConcept C118615104 @default.
- W2142193128 hasConcept C120314980 @default.
- W2142193128 hasConcept C136643341 @default.
- W2142193128 hasConcept C153269930 @default.
- W2142193128 hasConcept C154945302 @default.
- W2142193128 hasConcept C159023740 @default.
- W2142193128 hasConcept C167822520 @default.
- W2142193128 hasConcept C199360897 @default.
- W2142193128 hasConcept C2524010 @default.
- W2142193128 hasConcept C2777212361 @default.
- W2142193128 hasConcept C2778029271 @default.
- W2142193128 hasConcept C33923547 @default.
- W2142193128 hasConcept C41008148 @default.
- W2142193128 hasConcept C48103436 @default.
- W2142193128 hasConcept C55439883 @default.
- W2142193128 hasConcept C72434380 @default.
- W2142193128 hasConcept C80444323 @default.
- W2142193128 hasConceptScore W2142193128C105795698 @default.
- W2142193128 hasConceptScore W2142193128C111335779 @default.
- W2142193128 hasConceptScore W2142193128C113429609 @default.
- W2142193128 hasConceptScore W2142193128C11413529 @default.
- W2142193128 hasConceptScore W2142193128C118615104 @default.
- W2142193128 hasConceptScore W2142193128C120314980 @default.
- W2142193128 hasConceptScore W2142193128C136643341 @default.
- W2142193128 hasConceptScore W2142193128C153269930 @default.
- W2142193128 hasConceptScore W2142193128C154945302 @default.
- W2142193128 hasConceptScore W2142193128C159023740 @default.
- W2142193128 hasConceptScore W2142193128C167822520 @default.
- W2142193128 hasConceptScore W2142193128C199360897 @default.
- W2142193128 hasConceptScore W2142193128C2524010 @default.
- W2142193128 hasConceptScore W2142193128C2777212361 @default.
- W2142193128 hasConceptScore W2142193128C2778029271 @default.
- W2142193128 hasConceptScore W2142193128C33923547 @default.
- W2142193128 hasConceptScore W2142193128C41008148 @default.
- W2142193128 hasConceptScore W2142193128C48103436 @default.
- W2142193128 hasConceptScore W2142193128C55439883 @default.
- W2142193128 hasConceptScore W2142193128C72434380 @default.
- W2142193128 hasConceptScore W2142193128C80444323 @default.
- W2142193128 hasLocation W21421931281 @default.
- W2142193128 hasOpenAccess W2142193128 @default.
- W2142193128 hasPrimaryLocation W21421931281 @default.
- W2142193128 hasRelatedWork W1486212645 @default.
- W2142193128 hasRelatedWork W1496894532 @default.
- W2142193128 hasRelatedWork W1502444542 @default.
- W2142193128 hasRelatedWork W15609906 @default.
- W2142193128 hasRelatedWork W1576191340 @default.
- W2142193128 hasRelatedWork W1823865466 @default.
- W2142193128 hasRelatedWork W1979799094 @default.
- W2142193128 hasRelatedWork W1987377075 @default.
- W2142193128 hasRelatedWork W1999231617 @default.
- W2142193128 hasRelatedWork W2078562310 @default.
- W2142193128 hasRelatedWork W2102565724 @default.
- W2142193128 hasRelatedWork W2112897492 @default.
- W2142193128 hasRelatedWork W2140498954 @default.
- W2142193128 hasRelatedWork W2275786693 @default.
- W2142193128 hasRelatedWork W2950207863 @default.
- W2142193128 hasRelatedWork W2951114619 @default.
- W2142193128 hasRelatedWork W3005566532 @default.
- W2142193128 hasRelatedWork W3028690307 @default.
- W2142193128 hasRelatedWork W3161769321 @default.
- W2142193128 hasRelatedWork W577075418 @default.
- W2142193128 isParatext "false" @default.
- W2142193128 isRetracted "false" @default.
- W2142193128 magId "2142193128" @default.
- W2142193128 workType "article" @default.