Matches in SemOpenAlex for { <https://semopenalex.org/work/W193449614> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W193449614 endingPage "77" @default.
- W193449614 startingPage "62" @default.
- W193449614 abstract "Depth-Bounded Systems form an expressive class of well-structured transition systems. They can model a wide range of concurrent infinite-state systems including those with dynamic thread creation, dynamically changing communication topology, and complex shared heap structures. We present the first method to automatically prove fair termination of depth-bounded systems. Our method uses a numerical abstraction of the system, which we obtain by systematically augmenting an over-approximation of the system's reachable states with a finite set of counters. This numerical abstraction can be analyzed with existing termination provers. What makes our approach unique is the way in which it exploits the well-structuredness of the analyzed system. We have implemented our work in a prototype tool and used it to automatically prove liveness properties of complex concurrent systems, including nonblocking algorithms such as Treiber's stack and several distributed processes. Many of these examples are beyond the scope of termination analyses that are based on traditional counter abstractions." @default.
- W193449614 created "2016-06-24" @default.
- W193449614 creator A5003819403 @default.
- W193449614 creator A5011927030 @default.
- W193449614 creator A5024796518 @default.
- W193449614 creator A5032173124 @default.
- W193449614 date "2013-01-01" @default.
- W193449614 modified "2023-09-26" @default.
- W193449614 title "Structural Counter Abstraction" @default.
- W193449614 cites W1492268120 @default.
- W193449614 cites W1504065323 @default.
- W193449614 cites W1513999490 @default.
- W193449614 cites W1552190776 @default.
- W193449614 cites W1586035363 @default.
- W193449614 cites W1665726835 @default.
- W193449614 cites W1799668602 @default.
- W193449614 cites W1810306334 @default.
- W193449614 cites W1823912645 @default.
- W193449614 cites W1855789069 @default.
- W193449614 cites W1956613073 @default.
- W193449614 cites W1967174286 @default.
- W193449614 cites W2101939036 @default.
- W193449614 cites W2112350720 @default.
- W193449614 cites W2124945255 @default.
- W193449614 cites W2133055577 @default.
- W193449614 cites W2136242294 @default.
- W193449614 cites W2160527279 @default.
- W193449614 cites W3009252711 @default.
- W193449614 cites W4232668957 @default.
- W193449614 cites W4242979982 @default.
- W193449614 cites W84385201 @default.
- W193449614 doi "https://doi.org/10.1007/978-3-642-36742-7_5" @default.
- W193449614 hasPublicationYear "2013" @default.
- W193449614 type Work @default.
- W193449614 sameAs 193449614 @default.
- W193449614 citedByCount "15" @default.
- W193449614 countsByYear W1934496142013 @default.
- W193449614 countsByYear W1934496142014 @default.
- W193449614 countsByYear W1934496142015 @default.
- W193449614 countsByYear W1934496142016 @default.
- W193449614 countsByYear W1934496142021 @default.
- W193449614 countsByYear W1934496142022 @default.
- W193449614 crossrefType "book-chapter" @default.
- W193449614 hasAuthorship W193449614A5003819403 @default.
- W193449614 hasAuthorship W193449614A5011927030 @default.
- W193449614 hasAuthorship W193449614A5024796518 @default.
- W193449614 hasAuthorship W193449614A5032173124 @default.
- W193449614 hasBestOaLocation W1934496141 @default.
- W193449614 hasConcept C111472728 @default.
- W193449614 hasConcept C124304363 @default.
- W193449614 hasConcept C138885662 @default.
- W193449614 hasConcept C199360897 @default.
- W193449614 hasConcept C41008148 @default.
- W193449614 hasConceptScore W193449614C111472728 @default.
- W193449614 hasConceptScore W193449614C124304363 @default.
- W193449614 hasConceptScore W193449614C138885662 @default.
- W193449614 hasConceptScore W193449614C199360897 @default.
- W193449614 hasConceptScore W193449614C41008148 @default.
- W193449614 hasLocation W1934496141 @default.
- W193449614 hasLocation W1934496142 @default.
- W193449614 hasOpenAccess W193449614 @default.
- W193449614 hasPrimaryLocation W1934496141 @default.
- W193449614 hasRelatedWork W137976737 @default.
- W193449614 hasRelatedWork W1504651774 @default.
- W193449614 hasRelatedWork W1565263828 @default.
- W193449614 hasRelatedWork W1999473061 @default.
- W193449614 hasRelatedWork W2068700777 @default.
- W193449614 hasRelatedWork W2109507516 @default.
- W193449614 hasRelatedWork W2135396778 @default.
- W193449614 hasRelatedWork W3160136729 @default.
- W193449614 hasRelatedWork W4243252198 @default.
- W193449614 hasRelatedWork W2611182424 @default.
- W193449614 isParatext "false" @default.
- W193449614 isRetracted "false" @default.
- W193449614 magId "193449614" @default.
- W193449614 workType "book-chapter" @default.