FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W4213249360> ?p ?o ?g. }

• W4213249360 endingPage "159" @default.
• W4213249360 startingPage "122" @default.
• W4213249360 abstract "Advanced type systems for the π-calculus have recently been proposed to guarantee deadlock-freedom in the sense that certain communications will eventually succeed unless the whole process diverges. Although such guarantees are useful for reasoning about the behavior of concurrent programs, there still remains the weakness that the success of a communication is not completely guaranteed due to the possibility of divergence. For example, although a server process that has received a request message cannot discard the request, it is allowed to infinitely delegate the request to other processes, causing a livelock. In this paper, we present a type system which guarantees that certain communications will eventually succeed under fair scheduling, regardless of whether processes diverge. We also present a variant of the type system which guarantees that a communication will succeed within a given number of reduction steps." @default.
• W4213249360 created "2022-02-24" @default.
• W4213249360 creator A5084941435 @default.
• W4213249360 date "2002-09-01" @default.
• W4213249360 modified "2023-09-30" @default.
• W4213249360 title "A Type System for Lock-Free Processes" @default.
• W4213249360 cites W1486694616 @default.
• W4213249360 cites W1495087637 @default.
• W4213249360 cites W1506588809 @default.
• W4213249360 cites W1512225253 @default.
• W4213249360 cites W1523525039 @default.
• W4213249360 cites W1534454033 @default.
• W4213249360 cites W1548392907 @default.
• W4213249360 cites W1549121707 @default.
• W4213249360 cites W1557218646 @default.
• W4213249360 cites W1612453857 @default.
• W4213249360 cites W1698939026 @default.
• W4213249360 cites W1963705166 @default.
• W4213249360 cites W1965718940 @default.
• W4213249360 cites W1993430979 @default.
• W4213249360 cites W2005192022 @default.
• W4213249360 cites W2011491369 @default.
• W4213249360 cites W2028038730 @default.
• W4213249360 cites W2042360145 @default.
• W4213249360 cites W2043100293 @default.
• W4213249360 cites W2066550846 @default.
• W4213249360 cites W2079457432 @default.
• W4213249360 cites W2106458801 @default.
• W4213249360 cites W2107438584 @default.
• W4213249360 cites W2128932399 @default.
• W4213249360 cites W2148025199 @default.
• W4213249360 cites W2148901852 @default.
• W4213249360 cites W2224959065 @default.
• W4213249360 cites W3008305132 @default.
• W4213249360 cites W4254587780 @default.
• W4213249360 doi "https://doi.org/10.1006/inco.2002.3171" @default.
• W4213249360 hasPublicationYear "2002" @default.
• W4213249360 type Work @default.
• W4213249360 citedByCount "13" @default.
• W4213249360 countsByYear W42132493602013 @default.
• W4213249360 countsByYear W42132493602015 @default.
• W4213249360 countsByYear W42132493602019 @default.
• W4213249360 countsByYear W42132493602021 @default.
• W4213249360 countsByYear W42132493602022 @default.
• W4213249360 countsByYear W42132493602023 @default.
• W4213249360 crossrefType "journal-article" @default.
• W4213249360 hasAuthorship W4213249360A5084941435 @default.
• W4213249360 hasBestOaLocation W42132493601 @default.
• W4213249360 hasConcept C120314980 @default.
• W4213249360 hasConcept C126255220 @default.
• W4213249360 hasConcept C127413603 @default.
• W4213249360 hasConcept C143273055 @default.
• W4213249360 hasConcept C151319957 @default.
• W4213249360 hasConcept C159023740 @default.
• W4213249360 hasConcept C174839445 @default.
• W4213249360 hasConcept C18903297 @default.
• W4213249360 hasConcept C193702766 @default.
• W4213249360 hasConcept C199360897 @default.
• W4213249360 hasConcept C206729178 @default.
• W4213249360 hasConcept C2777299769 @default.
• W4213249360 hasConcept C31258907 @default.
• W4213249360 hasConcept C33923547 @default.
• W4213249360 hasConcept C41008148 @default.
• W4213249360 hasConcept C78519656 @default.
• W4213249360 hasConcept C86803240 @default.
• W4213249360 hasConcept C98045186 @default.
• W4213249360 hasConceptScore W4213249360C120314980 @default.
• W4213249360 hasConceptScore W4213249360C126255220 @default.
• W4213249360 hasConceptScore W4213249360C127413603 @default.
• W4213249360 hasConceptScore W4213249360C143273055 @default.
• W4213249360 hasConceptScore W4213249360C151319957 @default.
• W4213249360 hasConceptScore W4213249360C159023740 @default.
• W4213249360 hasConceptScore W4213249360C174839445 @default.
• W4213249360 hasConceptScore W4213249360C18903297 @default.
• W4213249360 hasConceptScore W4213249360C193702766 @default.
• W4213249360 hasConceptScore W4213249360C199360897 @default.
• W4213249360 hasConceptScore W4213249360C206729178 @default.
• W4213249360 hasConceptScore W4213249360C2777299769 @default.
• W4213249360 hasConceptScore W4213249360C31258907 @default.
• W4213249360 hasConceptScore W4213249360C33923547 @default.
• W4213249360 hasConceptScore W4213249360C41008148 @default.
• W4213249360 hasConceptScore W4213249360C78519656 @default.
• W4213249360 hasConceptScore W4213249360C86803240 @default.
• W4213249360 hasConceptScore W4213249360C98045186 @default.
• W4213249360 hasFunder F4320320912 @default.
• W4213249360 hasIssue "2" @default.
• W4213249360 hasLocation W42132493601 @default.
• W4213249360 hasLocation W42132493602 @default.
• W4213249360 hasOpenAccess W4213249360 @default.
• W4213249360 hasPrimaryLocation W42132493601 @default.
• W4213249360 hasRelatedWork W1533199072 @default.
• W4213249360 hasRelatedWork W1882733036 @default.
• W4213249360 hasRelatedWork W2119692515 @default.
• W4213249360 hasRelatedWork W2124987274 @default.
• W4213249360 hasRelatedWork W2160425906 @default.
• W4213249360 hasRelatedWork W21909428 @default.
• W4213249360 hasRelatedWork W2364921833 @default.
• W4213249360 hasRelatedWork W2371623873 @default.

• next