Matches in SemOpenAlex for { <https://semopenalex.org/work/W2950110612> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2950110612 abstract "Stuttering bisimulation is a well-known behavioral equivalence that preserves CTL-X, namely CTL without the next-time operator X. Correspondingly, the stuttering simulation preorder induces a coarser behavioral equivalence that preserves the existential fragment ECTL-{X,G}, namely ECTL without the next-time X and globally G operators. While stuttering bisimulation equivalence can be computed by the well-known Groote and Vaandrager's [1990] algorithm, to the best of our knowledge, no algorithm for computing the stuttering simulation preorder and equivalence is available. This paper presents such an algorithm for finite state systems." @default.
- W2950110612 created "2019-06-27" @default.
- W2950110612 creator A5000629161 @default.
- W2950110612 creator A5054963482 @default.
- W2950110612 date "2009-04-09" @default.
- W2950110612 modified "2023-09-27" @default.
- W2950110612 title "Computing Stuttering Simulations" @default.
- W2950110612 cites W170542089 @default.
- W2950110612 cites W2107144615 @default.
- W2950110612 cites W2571737579 @default.
- W2950110612 cites W3145128584 @default.
- W2950110612 hasPublicationYear "2009" @default.
- W2950110612 type Work @default.
- W2950110612 sameAs 2950110612 @default.
- W2950110612 citedByCount "0" @default.
- W2950110612 crossrefType "posted-content" @default.
- W2950110612 hasAuthorship W2950110612A5000629161 @default.
- W2950110612 hasAuthorship W2950110612A5054963482 @default.
- W2950110612 hasConcept C104317684 @default.
- W2950110612 hasConcept C11413529 @default.
- W2950110612 hasConcept C118615104 @default.
- W2950110612 hasConcept C135315306 @default.
- W2950110612 hasConcept C138496976 @default.
- W2950110612 hasConcept C15744967 @default.
- W2950110612 hasConcept C158448853 @default.
- W2950110612 hasConcept C17020691 @default.
- W2950110612 hasConcept C185592680 @default.
- W2950110612 hasConcept C202444582 @default.
- W2950110612 hasConcept C2333172 @default.
- W2950110612 hasConcept C2777721189 @default.
- W2950110612 hasConcept C2780069185 @default.
- W2950110612 hasConcept C2781371259 @default.
- W2950110612 hasConcept C33923547 @default.
- W2950110612 hasConcept C41008148 @default.
- W2950110612 hasConcept C55493867 @default.
- W2950110612 hasConcept C80444323 @default.
- W2950110612 hasConcept C86339819 @default.
- W2950110612 hasConceptScore W2950110612C104317684 @default.
- W2950110612 hasConceptScore W2950110612C11413529 @default.
- W2950110612 hasConceptScore W2950110612C118615104 @default.
- W2950110612 hasConceptScore W2950110612C135315306 @default.
- W2950110612 hasConceptScore W2950110612C138496976 @default.
- W2950110612 hasConceptScore W2950110612C15744967 @default.
- W2950110612 hasConceptScore W2950110612C158448853 @default.
- W2950110612 hasConceptScore W2950110612C17020691 @default.
- W2950110612 hasConceptScore W2950110612C185592680 @default.
- W2950110612 hasConceptScore W2950110612C202444582 @default.
- W2950110612 hasConceptScore W2950110612C2333172 @default.
- W2950110612 hasConceptScore W2950110612C2777721189 @default.
- W2950110612 hasConceptScore W2950110612C2780069185 @default.
- W2950110612 hasConceptScore W2950110612C2781371259 @default.
- W2950110612 hasConceptScore W2950110612C33923547 @default.
- W2950110612 hasConceptScore W2950110612C41008148 @default.
- W2950110612 hasConceptScore W2950110612C55493867 @default.
- W2950110612 hasConceptScore W2950110612C80444323 @default.
- W2950110612 hasConceptScore W2950110612C86339819 @default.
- W2950110612 hasLocation W29501106121 @default.
- W2950110612 hasOpenAccess W2950110612 @default.
- W2950110612 hasPrimaryLocation W29501106121 @default.
- W2950110612 hasRelatedWork W1497139784 @default.
- W2950110612 hasRelatedWork W1509030580 @default.
- W2950110612 hasRelatedWork W1514174256 @default.
- W2950110612 hasRelatedWork W1545884838 @default.
- W2950110612 hasRelatedWork W1989459082 @default.
- W2950110612 hasRelatedWork W2061726621 @default.
- W2950110612 hasRelatedWork W2082825062 @default.
- W2950110612 hasRelatedWork W2107471150 @default.
- W2950110612 hasRelatedWork W2129121801 @default.
- W2950110612 hasRelatedWork W2131439244 @default.
- W2950110612 hasRelatedWork W2156750819 @default.
- W2950110612 hasRelatedWork W2169119285 @default.
- W2950110612 hasRelatedWork W2246540852 @default.
- W2950110612 hasRelatedWork W2350083876 @default.
- W2950110612 hasRelatedWork W2483009111 @default.
- W2950110612 hasRelatedWork W2892507845 @default.
- W2950110612 hasRelatedWork W2952252756 @default.
- W2950110612 hasRelatedWork W2995181781 @default.
- W2950110612 hasRelatedWork W3021686541 @default.
- W2950110612 hasRelatedWork W3145956809 @default.
- W2950110612 isParatext "false" @default.
- W2950110612 isRetracted "false" @default.
- W2950110612 magId "2950110612" @default.
- W2950110612 workType "article" @default.