Matches in SemOpenAlex for { <https://semopenalex.org/work/W196808440> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W196808440 endingPage "77" @default.
- W196808440 startingPage "63" @default.
- W196808440 abstract "Deadlock detection in concurrent programs that create networks with arbitrary numbers of nodes is extremely complex and solutions either give imprecise answers or do not scale. To enable the analysis of such programs, (1) we define an algorithm for detecting deadlocks of a basic model featuring recursion and fresh name generation: the lam programs, and (2) we design a type system for value passing CCS that returns lam programs. As a byproduct of these two techniques, we have an algorithm that is more powerful than previous ones and that can be easily integrated in the current release of TyPiCal, a type-based analyser for pi-calculus." @default.
- W196808440 created "2016-06-24" @default.
- W196808440 creator A5010877867 @default.
- W196808440 creator A5015764128 @default.
- W196808440 creator A5084941435 @default.
- W196808440 date "2014-01-01" @default.
- W196808440 modified "2023-10-03" @default.
- W196808440 title "Deadlock Analysis of Unbounded Process Networks" @default.
- W196808440 cites W1560340731 @default.
- W196808440 cites W1844876252 @default.
- W196808440 cites W1859118644 @default.
- W196808440 cites W2013672985 @default.
- W196808440 cites W2042360145 @default.
- W196808440 cites W2042668508 @default.
- W196808440 cites W2065772939 @default.
- W196808440 cites W2072823661 @default.
- W196808440 cites W2081551198 @default.
- W196808440 cites W2085243417 @default.
- W196808440 cites W2093397547 @default.
- W196808440 cites W2102640269 @default.
- W196808440 cites W2137865376 @default.
- W196808440 cites W2152197427 @default.
- W196808440 cites W2166615267 @default.
- W196808440 cites W3008818728 @default.
- W196808440 cites W316947798 @default.
- W196808440 doi "https://doi.org/10.1007/978-3-662-44584-6_6" @default.
- W196808440 hasPublicationYear "2014" @default.
- W196808440 type Work @default.
- W196808440 sameAs 196808440 @default.
- W196808440 citedByCount "20" @default.
- W196808440 countsByYear W1968084402014 @default.
- W196808440 countsByYear W1968084402015 @default.
- W196808440 countsByYear W1968084402016 @default.
- W196808440 countsByYear W1968084402017 @default.
- W196808440 countsByYear W1968084402018 @default.
- W196808440 countsByYear W1968084402019 @default.
- W196808440 countsByYear W1968084402021 @default.
- W196808440 countsByYear W1968084402022 @default.
- W196808440 countsByYear W1968084402023 @default.
- W196808440 crossrefType "book-chapter" @default.
- W196808440 hasAuthorship W196808440A5010877867 @default.
- W196808440 hasAuthorship W196808440A5015764128 @default.
- W196808440 hasAuthorship W196808440A5084941435 @default.
- W196808440 hasBestOaLocation W1968084402 @default.
- W196808440 hasConcept C113429609 @default.
- W196808440 hasConcept C11413529 @default.
- W196808440 hasConcept C120314980 @default.
- W196808440 hasConcept C159023740 @default.
- W196808440 hasConcept C168773036 @default.
- W196808440 hasConcept C185592680 @default.
- W196808440 hasConcept C199360897 @default.
- W196808440 hasConcept C26834552 @default.
- W196808440 hasConcept C41008148 @default.
- W196808440 hasConcept C43617362 @default.
- W196808440 hasConcept C80444323 @default.
- W196808440 hasConcept C98045186 @default.
- W196808440 hasConceptScore W196808440C113429609 @default.
- W196808440 hasConceptScore W196808440C11413529 @default.
- W196808440 hasConceptScore W196808440C120314980 @default.
- W196808440 hasConceptScore W196808440C159023740 @default.
- W196808440 hasConceptScore W196808440C168773036 @default.
- W196808440 hasConceptScore W196808440C185592680 @default.
- W196808440 hasConceptScore W196808440C199360897 @default.
- W196808440 hasConceptScore W196808440C26834552 @default.
- W196808440 hasConceptScore W196808440C41008148 @default.
- W196808440 hasConceptScore W196808440C43617362 @default.
- W196808440 hasConceptScore W196808440C80444323 @default.
- W196808440 hasConceptScore W196808440C98045186 @default.
- W196808440 hasLocation W1968084401 @default.
- W196808440 hasLocation W1968084402 @default.
- W196808440 hasLocation W1968084403 @default.
- W196808440 hasLocation W1968084404 @default.
- W196808440 hasLocation W1968084405 @default.
- W196808440 hasOpenAccess W196808440 @default.
- W196808440 hasPrimaryLocation W1968084401 @default.
- W196808440 hasRelatedWork W1547545050 @default.
- W196808440 hasRelatedWork W196808440 @default.
- W196808440 hasRelatedWork W2379911191 @default.
- W196808440 hasRelatedWork W2380314807 @default.
- W196808440 hasRelatedWork W3140720071 @default.
- W196808440 hasRelatedWork W3175828148 @default.
- W196808440 hasRelatedWork W4252845830 @default.
- W196808440 hasRelatedWork W1776252073 @default.
- W196808440 hasRelatedWork W2340131066 @default.
- W196808440 hasRelatedWork W2589418455 @default.
- W196808440 isParatext "false" @default.
- W196808440 isRetracted "false" @default.
- W196808440 magId "196808440" @default.
- W196808440 workType "book-chapter" @default.