Matches in SemOpenAlex for { <https://semopenalex.org/work/W93329440> ?p ?o ?g. }
- W93329440 endingPage "38" @default.
- W93329440 startingPage "21" @default.
- W93329440 abstract "We address the state reachability problem in concurrent programs running over the TSO weak memory model. This problem has been shown to be decidable with non-primitive recursive complexity in the case of finite-state threads. For recursive threads this problem is undecidable. The aim of this paper is to provide under-approximate analyses for TSO systems that are decidable and have better (elementary) complexity. We propose three bounding concepts for TSO behaviors that are inspired from the concept of bounding the number of context switches introduced by Qadeer and Rehof for the sequentially consistent (SC) model. We investigate the decidability and the complexity of the state reachability problems under these three bounding concepts for TSO, and provide reduction of these problems to known reachability problems of concurrent systems under the SC semantics." @default.
- W93329440 created "2016-06-24" @default.
- W93329440 creator A5045477471 @default.
- W93329440 creator A5047278328 @default.
- W93329440 creator A5048623277 @default.
- W93329440 date "2014-01-01" @default.
- W93329440 modified "2023-10-10" @default.
- W93329440 title "Context-Bounded Analysis of TSO Systems" @default.
- W93329440 cites W115414801 @default.
- W93329440 cites W123460966 @default.
- W93329440 cites W1483960654 @default.
- W93329440 cites W149053240 @default.
- W93329440 cites W1493367105 @default.
- W93329440 cites W1545371423 @default.
- W93329440 cites W1554834491 @default.
- W93329440 cites W1594381772 @default.
- W93329440 cites W1602156367 @default.
- W93329440 cites W1603445208 @default.
- W93329440 cites W1850106738 @default.
- W93329440 cites W1877513498 @default.
- W93329440 cites W1913137593 @default.
- W93329440 cites W1953680156 @default.
- W93329440 cites W196827001 @default.
- W93329440 cites W1981959925 @default.
- W93329440 cites W1996009176 @default.
- W93329440 cites W2026697016 @default.
- W93329440 cites W2030159266 @default.
- W93329440 cites W2085773946 @default.
- W93329440 cites W2105980774 @default.
- W93329440 cites W2107398710 @default.
- W93329440 cites W2121064036 @default.
- W93329440 cites W2127042926 @default.
- W93329440 cites W2143502475 @default.
- W93329440 cites W2148778089 @default.
- W93329440 cites W2165365531 @default.
- W93329440 cites W2165546792 @default.
- W93329440 cites W3021404837 @default.
- W93329440 cites W4236838373 @default.
- W93329440 cites W4246094892 @default.
- W93329440 cites W4251305355 @default.
- W93329440 doi "https://doi.org/10.1007/978-3-642-54848-2_2" @default.
- W93329440 hasPublicationYear "2014" @default.
- W93329440 type Work @default.
- W93329440 sameAs 93329440 @default.
- W93329440 citedByCount "7" @default.
- W93329440 countsByYear W933294402015 @default.
- W93329440 countsByYear W933294402016 @default.
- W93329440 countsByYear W933294402022 @default.
- W93329440 countsByYear W933294402023 @default.
- W93329440 crossrefType "book-chapter" @default.
- W93329440 hasAuthorship W93329440A5045477471 @default.
- W93329440 hasAuthorship W93329440A5047278328 @default.
- W93329440 hasAuthorship W93329440A5048623277 @default.
- W93329440 hasBestOaLocation W933294401 @default.
- W93329440 hasConcept C111335779 @default.
- W93329440 hasConcept C11413529 @default.
- W93329440 hasConcept C118615104 @default.
- W93329440 hasConcept C134306372 @default.
- W93329440 hasConcept C136643341 @default.
- W93329440 hasConcept C151730666 @default.
- W93329440 hasConcept C153269930 @default.
- W93329440 hasConcept C154945302 @default.
- W93329440 hasConcept C192034797 @default.
- W93329440 hasConcept C2524010 @default.
- W93329440 hasConcept C2777669093 @default.
- W93329440 hasConcept C2779343474 @default.
- W93329440 hasConcept C33923547 @default.
- W93329440 hasConcept C34388435 @default.
- W93329440 hasConcept C41008148 @default.
- W93329440 hasConcept C48103436 @default.
- W93329440 hasConcept C63584917 @default.
- W93329440 hasConcept C80444323 @default.
- W93329440 hasConcept C86803240 @default.
- W93329440 hasConceptScore W93329440C111335779 @default.
- W93329440 hasConceptScore W93329440C11413529 @default.
- W93329440 hasConceptScore W93329440C118615104 @default.
- W93329440 hasConceptScore W93329440C134306372 @default.
- W93329440 hasConceptScore W93329440C136643341 @default.
- W93329440 hasConceptScore W93329440C151730666 @default.
- W93329440 hasConceptScore W93329440C153269930 @default.
- W93329440 hasConceptScore W93329440C154945302 @default.
- W93329440 hasConceptScore W93329440C192034797 @default.
- W93329440 hasConceptScore W93329440C2524010 @default.
- W93329440 hasConceptScore W93329440C2777669093 @default.
- W93329440 hasConceptScore W93329440C2779343474 @default.
- W93329440 hasConceptScore W93329440C33923547 @default.
- W93329440 hasConceptScore W93329440C34388435 @default.
- W93329440 hasConceptScore W93329440C41008148 @default.
- W93329440 hasConceptScore W93329440C48103436 @default.
- W93329440 hasConceptScore W93329440C63584917 @default.
- W93329440 hasConceptScore W93329440C80444323 @default.
- W93329440 hasConceptScore W93329440C86803240 @default.
- W93329440 hasLocation W933294401 @default.
- W93329440 hasLocation W933294402 @default.
- W93329440 hasLocation W933294403 @default.
- W93329440 hasOpenAccess W93329440 @default.
- W93329440 hasPrimaryLocation W933294401 @default.
- W93329440 hasRelatedWork W1561522752 @default.