Matches in SemOpenAlex for { <https://semopenalex.org/work/W177526596> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W177526596 abstract "This paper presents a new contribution to the model-checking of multithreaded programs with recursive procedure calls, result passing between recursive procedures, dynamic creation of parallel processes, and synchronisation between parallel threads. To represent such programs accurately, we define the model SPAD that can be seen as the extension with synchronisation of the class PAD (the subclass of the rewrite systems PRS where parallel composition is not allowed in the lefthand sides of the rules). We consider in this paper the reachability problem of this model, which is undecidable. As in [BET03a,BET04], we reduce this problem to the computation of abstractions of the sets of execution paths of the program, and we propose a generic technique that can compute different abstractions (of different precisions and different costs) of these sets." @default.
- W177526596 created "2016-06-24" @default.
- W177526596 creator A5044579457 @default.
- W177526596 date "2005-01-01" @default.
- W177526596 modified "2023-10-16" @default.
- W177526596 title "Dealing with communication for dynamic multithreaded recursive programs." @default.
- W177526596 cites W121267855 @default.
- W177526596 cites W1493367105 @default.
- W177526596 cites W1508979488 @default.
- W177526596 cites W1514446453 @default.
- W177526596 cites W1526231760 @default.
- W177526596 cites W1560028438 @default.
- W177526596 cites W1560595963 @default.
- W177526596 cites W1585404558 @default.
- W177526596 cites W1593799327 @default.
- W177526596 cites W1810198311 @default.
- W177526596 cites W1855789069 @default.
- W177526596 cites W1994878611 @default.
- W177526596 cites W2047764386 @default.
- W177526596 cites W2060345611 @default.
- W177526596 cites W2089139117 @default.
- W177526596 cites W2112243500 @default.
- W177526596 cites W2128453996 @default.
- W177526596 cites W2147248565 @default.
- W177526596 cites W2160520283 @default.
- W177526596 cites W2164496154 @default.
- W177526596 cites W2295903414 @default.
- W177526596 cites W2479567345 @default.
- W177526596 cites W2494384349 @default.
- W177526596 cites W2803561572 @default.
- W177526596 hasPublicationYear "2005" @default.
- W177526596 type Work @default.
- W177526596 sameAs 177526596 @default.
- W177526596 citedByCount "8" @default.
- W177526596 countsByYear W1775265962012 @default.
- W177526596 countsByYear W1775265962015 @default.
- W177526596 crossrefType "proceedings-article" @default.
- W177526596 hasAuthorship W177526596A5044579457 @default.
- W177526596 hasConcept C120314980 @default.
- W177526596 hasConcept C138101251 @default.
- W177526596 hasConcept C173608175 @default.
- W177526596 hasConcept C199360897 @default.
- W177526596 hasConcept C201410400 @default.
- W177526596 hasConcept C41008148 @default.
- W177526596 hasConceptScore W177526596C120314980 @default.
- W177526596 hasConceptScore W177526596C138101251 @default.
- W177526596 hasConceptScore W177526596C173608175 @default.
- W177526596 hasConceptScore W177526596C199360897 @default.
- W177526596 hasConceptScore W177526596C201410400 @default.
- W177526596 hasConceptScore W177526596C41008148 @default.
- W177526596 hasLocation W1775265961 @default.
- W177526596 hasLocation W1775265962 @default.
- W177526596 hasOpenAccess W177526596 @default.
- W177526596 hasPrimaryLocation W1775265961 @default.
- W177526596 hasRelatedWork W1582519588 @default.
- W177526596 hasRelatedWork W1987204888 @default.
- W177526596 hasRelatedWork W2020582711 @default.
- W177526596 hasRelatedWork W2047238167 @default.
- W177526596 hasRelatedWork W2117014006 @default.
- W177526596 hasRelatedWork W2133693067 @default.
- W177526596 hasRelatedWork W2488897859 @default.
- W177526596 hasRelatedWork W3030139520 @default.
- W177526596 hasRelatedWork W3047022145 @default.
- W177526596 hasRelatedWork W4243252198 @default.
- W177526596 isParatext "false" @default.
- W177526596 isRetracted "false" @default.
- W177526596 magId "177526596" @default.
- W177526596 workType "article" @default.