Matches in SemOpenAlex for { <https://semopenalex.org/work/W1999231617> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W1999231617 abstract "In this paper, the notion of fair reachability is generalized to cyclic protocols with more than two processes, where all the processes in a protocol are connected via a unidirectional ring and each process might contain internal transitions and can be non-deterministic. We identify 'indefiniteness' as a new type of logical error due to reachable internal transition cycles. By properly incorporating internal transitions into the formulation, we show that, with a few modifications, all the previous results established for cyclic protocols without non-deterministic and internal transitions still hold in the augmented model. Furthermore, by combining fair progress and maximal progress during state exploration, we prove that the following three problems are all decidable for Q, the class of cyclic protocols with finite fair reachable state spaces: (1) global state reachability; (2) abstract state reachability; and (3) execution cycle reachability. In the course of the investigation, we also show that detection of k-indefiniteness and k-livelock are decidable for Q." @default.
- W1999231617 created "2016-06-24" @default.
- W1999231617 creator A5006465214 @default.
- W1999231617 creator A5057287134 @default.
- W1999231617 date "1996-12-01" @default.
- W1999231617 modified "2023-09-22" @default.
- W1999231617 title "An approach to cyclic protocol validation" @default.
- W1999231617 cites W1520119712 @default.
- W1999231617 cites W167919561 @default.
- W1999231617 cites W1979799094 @default.
- W1999231617 cites W1987377075 @default.
- W1999231617 cites W2011723719 @default.
- W1999231617 cites W2023621921 @default.
- W1999231617 cites W2023949272 @default.
- W1999231617 cites W2025970201 @default.
- W1999231617 cites W2052538955 @default.
- W1999231617 cites W2112897492 @default.
- W1999231617 cites W2133153642 @default.
- W1999231617 cites W2141511664 @default.
- W1999231617 cites W2150468037 @default.
- W1999231617 cites W2164973259 @default.
- W1999231617 cites W2534838886 @default.
- W1999231617 cites W99916217 @default.
- W1999231617 doi "https://doi.org/10.1016/s0140-3664(96)01152-8" @default.
- W1999231617 hasPublicationYear "1996" @default.
- W1999231617 type Work @default.
- W1999231617 sameAs 1999231617 @default.
- W1999231617 citedByCount "3" @default.
- W1999231617 crossrefType "journal-article" @default.
- W1999231617 hasAuthorship W1999231617A5006465214 @default.
- W1999231617 hasAuthorship W1999231617A5057287134 @default.
- W1999231617 hasConcept C110251889 @default.
- W1999231617 hasConcept C11413529 @default.
- W1999231617 hasConcept C120314980 @default.
- W1999231617 hasConcept C136643341 @default.
- W1999231617 hasConcept C142724271 @default.
- W1999231617 hasConcept C153269930 @default.
- W1999231617 hasConcept C154945302 @default.
- W1999231617 hasConcept C178790620 @default.
- W1999231617 hasConcept C185592680 @default.
- W1999231617 hasConcept C199360897 @default.
- W1999231617 hasConcept C204787440 @default.
- W1999231617 hasConcept C2777212361 @default.
- W1999231617 hasConcept C2780378348 @default.
- W1999231617 hasConcept C2780385302 @default.
- W1999231617 hasConcept C41008148 @default.
- W1999231617 hasConcept C48103436 @default.
- W1999231617 hasConcept C71924100 @default.
- W1999231617 hasConcept C80444323 @default.
- W1999231617 hasConcept C98045186 @default.
- W1999231617 hasConceptScore W1999231617C110251889 @default.
- W1999231617 hasConceptScore W1999231617C11413529 @default.
- W1999231617 hasConceptScore W1999231617C120314980 @default.
- W1999231617 hasConceptScore W1999231617C136643341 @default.
- W1999231617 hasConceptScore W1999231617C142724271 @default.
- W1999231617 hasConceptScore W1999231617C153269930 @default.
- W1999231617 hasConceptScore W1999231617C154945302 @default.
- W1999231617 hasConceptScore W1999231617C178790620 @default.
- W1999231617 hasConceptScore W1999231617C185592680 @default.
- W1999231617 hasConceptScore W1999231617C199360897 @default.
- W1999231617 hasConceptScore W1999231617C204787440 @default.
- W1999231617 hasConceptScore W1999231617C2777212361 @default.
- W1999231617 hasConceptScore W1999231617C2780378348 @default.
- W1999231617 hasConceptScore W1999231617C2780385302 @default.
- W1999231617 hasConceptScore W1999231617C41008148 @default.
- W1999231617 hasConceptScore W1999231617C48103436 @default.
- W1999231617 hasConceptScore W1999231617C71924100 @default.
- W1999231617 hasConceptScore W1999231617C80444323 @default.
- W1999231617 hasConceptScore W1999231617C98045186 @default.
- W1999231617 hasLocation W19992316171 @default.
- W1999231617 hasOpenAccess W1999231617 @default.
- W1999231617 hasPrimaryLocation W19992316171 @default.
- W1999231617 hasRelatedWork W15609906 @default.
- W1999231617 hasRelatedWork W1574427798 @default.
- W1999231617 hasRelatedWork W1671650870 @default.
- W1999231617 hasRelatedWork W1823865466 @default.
- W1999231617 hasRelatedWork W2078562310 @default.
- W1999231617 hasRelatedWork W2102565724 @default.
- W1999231617 hasRelatedWork W2112897492 @default.
- W1999231617 hasRelatedWork W2140498954 @default.
- W1999231617 hasRelatedWork W2142193128 @default.
- W1999231617 hasRelatedWork W2150468037 @default.
- W1999231617 hasRelatedWork W2172638380 @default.
- W1999231617 hasRelatedWork W2726437990 @default.
- W1999231617 hasRelatedWork W2949410051 @default.
- W1999231617 hasRelatedWork W2950207863 @default.
- W1999231617 hasRelatedWork W2950321104 @default.
- W1999231617 hasRelatedWork W2951114619 @default.
- W1999231617 hasRelatedWork W2963883639 @default.
- W1999231617 hasRelatedWork W3043513548 @default.
- W1999231617 hasRelatedWork W3104087631 @default.
- W1999231617 hasRelatedWork W3195738979 @default.
- W1999231617 isParatext "false" @default.
- W1999231617 isRetracted "false" @default.
- W1999231617 magId "1999231617" @default.
- W1999231617 workType "article" @default.