Matches in SemOpenAlex for { <https://semopenalex.org/work/W2078562310> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2078562310 endingPage "57" @default.
- W2078562310 startingPage "49" @default.
- W2078562310 abstract "In a complete protocol design process, it is often important to validate the protocol for general correctness properties such as boundedness, deadlock absence, and well-formedness. However, for any general protocol modeled as a number of communicating finite state machines with unbounded FIFO channels, the above properties are known to be undecidable [Brand81a, Brand80a]. In this paper we demonstrate the decidability of those properties for a class of protocols, called <i>well-ordered</i> protocols. We introduce an algorithm for constructing a finite reachability tree for any given protocol with FIFO channels and show that by using this reachability tree, one can decide whether any given protocol is well-ordered, and if it is well-ordered whether it has an unbounded channel, a state deadlock, or an unspecified reception." @default.
- W2078562310 created "2016-06-24" @default.
- W2078562310 creator A5001889625 @default.
- W2078562310 creator A5048528936 @default.
- W2078562310 date "1983-04-01" @default.
- W2078562310 modified "2023-09-26" @default.
- W2078562310 title "Reachability analysis of protocols with FIFO channels" @default.
- W2078562310 cites W1973292169 @default.
- W2078562310 cites W1988698058 @default.
- W2078562310 cites W2029117638 @default.
- W2078562310 cites W2097786642 @default.
- W2078562310 doi "https://doi.org/10.1145/1024840.1035250" @default.
- W2078562310 hasPublicationYear "1983" @default.
- W2078562310 type Work @default.
- W2078562310 sameAs 2078562310 @default.
- W2078562310 citedByCount "18" @default.
- W2078562310 countsByYear W20785623102013 @default.
- W2078562310 crossrefType "journal-article" @default.
- W2078562310 hasAuthorship W2078562310A5001889625 @default.
- W2078562310 hasAuthorship W2078562310A5048528936 @default.
- W2078562310 hasBestOaLocation W20785623101 @default.
- W2078562310 hasConcept C113174947 @default.
- W2078562310 hasConcept C11413529 @default.
- W2078562310 hasConcept C114614502 @default.
- W2078562310 hasConcept C120314980 @default.
- W2078562310 hasConcept C136643341 @default.
- W2078562310 hasConcept C142724271 @default.
- W2078562310 hasConcept C153269930 @default.
- W2078562310 hasConcept C159023740 @default.
- W2078562310 hasConcept C167822520 @default.
- W2078562310 hasConcept C192034797 @default.
- W2078562310 hasConcept C199360897 @default.
- W2078562310 hasConcept C204787440 @default.
- W2078562310 hasConcept C2777145635 @default.
- W2078562310 hasConcept C2780385302 @default.
- W2078562310 hasConcept C33923547 @default.
- W2078562310 hasConcept C41008148 @default.
- W2078562310 hasConcept C48103436 @default.
- W2078562310 hasConcept C55439883 @default.
- W2078562310 hasConcept C71924100 @default.
- W2078562310 hasConcept C80444323 @default.
- W2078562310 hasConceptScore W2078562310C113174947 @default.
- W2078562310 hasConceptScore W2078562310C11413529 @default.
- W2078562310 hasConceptScore W2078562310C114614502 @default.
- W2078562310 hasConceptScore W2078562310C120314980 @default.
- W2078562310 hasConceptScore W2078562310C136643341 @default.
- W2078562310 hasConceptScore W2078562310C142724271 @default.
- W2078562310 hasConceptScore W2078562310C153269930 @default.
- W2078562310 hasConceptScore W2078562310C159023740 @default.
- W2078562310 hasConceptScore W2078562310C167822520 @default.
- W2078562310 hasConceptScore W2078562310C192034797 @default.
- W2078562310 hasConceptScore W2078562310C199360897 @default.
- W2078562310 hasConceptScore W2078562310C204787440 @default.
- W2078562310 hasConceptScore W2078562310C2777145635 @default.
- W2078562310 hasConceptScore W2078562310C2780385302 @default.
- W2078562310 hasConceptScore W2078562310C33923547 @default.
- W2078562310 hasConceptScore W2078562310C41008148 @default.
- W2078562310 hasConceptScore W2078562310C48103436 @default.
- W2078562310 hasConceptScore W2078562310C55439883 @default.
- W2078562310 hasConceptScore W2078562310C71924100 @default.
- W2078562310 hasConceptScore W2078562310C80444323 @default.
- W2078562310 hasIssue "2" @default.
- W2078562310 hasLocation W20785623101 @default.
- W2078562310 hasOpenAccess W2078562310 @default.
- W2078562310 hasPrimaryLocation W20785623101 @default.
- W2078562310 hasRelatedWork W1494702893 @default.
- W2078562310 hasRelatedWork W1516753891 @default.
- W2078562310 hasRelatedWork W1614411949 @default.
- W2078562310 hasRelatedWork W1731318210 @default.
- W2078562310 hasRelatedWork W1923222846 @default.
- W2078562310 hasRelatedWork W2078562310 @default.
- W2078562310 hasRelatedWork W2142193128 @default.
- W2078562310 hasRelatedWork W2688386367 @default.
- W2078562310 hasRelatedWork W4253760428 @default.
- W2078562310 hasRelatedWork W2471609054 @default.
- W2078562310 hasVolume "13" @default.
- W2078562310 isParatext "false" @default.
- W2078562310 isRetracted "false" @default.
- W2078562310 magId "2078562310" @default.
- W2078562310 workType "article" @default.