Matches in SemOpenAlex for { <https://semopenalex.org/work/W1539400854> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W1539400854 endingPage "459" @default.
- W1539400854 startingPage "446" @default.
- W1539400854 abstract "τ-confluence is a reduction technique used in enumerative model-checking of labeled transition systems to avoid the state explosion problem. In this paper, we propose a new on-the-fly algorithm to calculate partial τ-confluence, and propose new techniques to do so on large systems in a compositional manner. Using information inherent in the way a large system is composed of smaller systems, we show how we can deduce partial τ-confluence in a computationally cheap manner. Finally, these techniques are applied to a number of case studies, including the rel/REL atomic multicast protocol." @default.
- W1539400854 created "2016-06-24" @default.
- W1539400854 creator A5068981088 @default.
- W1539400854 creator A5073668681 @default.
- W1539400854 creator A5075433817 @default.
- W1539400854 date "2003-01-01" @default.
- W1539400854 modified "2023-10-17" @default.
- W1539400854 title "Calculating τ-Confluence Compositionally" @default.
- W1539400854 cites W1496552468 @default.
- W1539400854 cites W1498760855 @default.
- W1539400854 cites W1500756778 @default.
- W1539400854 cites W1688077206 @default.
- W1539400854 cites W1702401680 @default.
- W1539400854 cites W2079671561 @default.
- W1539400854 cites W2166150286 @default.
- W1539400854 cites W2756011084 @default.
- W1539400854 cites W2911867855 @default.
- W1539400854 cites W4237227201 @default.
- W1539400854 doi "https://doi.org/10.1007/978-3-540-45069-6_41" @default.
- W1539400854 hasPublicationYear "2003" @default.
- W1539400854 type Work @default.
- W1539400854 sameAs 1539400854 @default.
- W1539400854 citedByCount "23" @default.
- W1539400854 countsByYear W15394008542012 @default.
- W1539400854 countsByYear W15394008542013 @default.
- W1539400854 countsByYear W15394008542014 @default.
- W1539400854 crossrefType "book-chapter" @default.
- W1539400854 hasAuthorship W1539400854A5068981088 @default.
- W1539400854 hasAuthorship W1539400854A5073668681 @default.
- W1539400854 hasAuthorship W1539400854A5075433817 @default.
- W1539400854 hasBestOaLocation W15394008541 @default.
- W1539400854 hasConcept C111335779 @default.
- W1539400854 hasConcept C111919701 @default.
- W1539400854 hasConcept C11413529 @default.
- W1539400854 hasConcept C120314980 @default.
- W1539400854 hasConcept C199360897 @default.
- W1539400854 hasConcept C2524010 @default.
- W1539400854 hasConcept C2781020372 @default.
- W1539400854 hasConcept C33923547 @default.
- W1539400854 hasConcept C41008148 @default.
- W1539400854 hasConcept C48103436 @default.
- W1539400854 hasConcept C77906462 @default.
- W1539400854 hasConcept C80444323 @default.
- W1539400854 hasConceptScore W1539400854C111335779 @default.
- W1539400854 hasConceptScore W1539400854C111919701 @default.
- W1539400854 hasConceptScore W1539400854C11413529 @default.
- W1539400854 hasConceptScore W1539400854C120314980 @default.
- W1539400854 hasConceptScore W1539400854C199360897 @default.
- W1539400854 hasConceptScore W1539400854C2524010 @default.
- W1539400854 hasConceptScore W1539400854C2781020372 @default.
- W1539400854 hasConceptScore W1539400854C33923547 @default.
- W1539400854 hasConceptScore W1539400854C41008148 @default.
- W1539400854 hasConceptScore W1539400854C48103436 @default.
- W1539400854 hasConceptScore W1539400854C77906462 @default.
- W1539400854 hasConceptScore W1539400854C80444323 @default.
- W1539400854 hasLocation W15394008541 @default.
- W1539400854 hasLocation W15394008542 @default.
- W1539400854 hasOpenAccess W1539400854 @default.
- W1539400854 hasPrimaryLocation W15394008541 @default.
- W1539400854 hasRelatedWork W1485627940 @default.
- W1539400854 hasRelatedWork W1596201972 @default.
- W1539400854 hasRelatedWork W1710061904 @default.
- W1539400854 hasRelatedWork W1986253068 @default.
- W1539400854 hasRelatedWork W2122729988 @default.
- W1539400854 hasRelatedWork W2134121859 @default.
- W1539400854 hasRelatedWork W2150698393 @default.
- W1539400854 hasRelatedWork W2152433827 @default.
- W1539400854 hasRelatedWork W2160425906 @default.
- W1539400854 hasRelatedWork W2352590024 @default.
- W1539400854 isParatext "false" @default.
- W1539400854 isRetracted "false" @default.
- W1539400854 magId "1539400854" @default.
- W1539400854 workType "book-chapter" @default.