Matches in SemOpenAlex for { <https://semopenalex.org/work/W2892779121> ?p ?o ?g. }
- W2892779121 abstract "Message-passing software systems exhibit non-trivial forms of concurrency and distribution; they are expected to follow intended protocols among communicating services, but also to never get stuck. This intuitive requirement has been expressed by liveness properties such as progress or (dead)lock freedom and various type systems ensure these properties for concurrent processes. Unfortunately, very little is known about the precise relationship between these type systems and the classes of typed processes they induce. This paper puts forward the first comparative study of different type systems for message-passing processes that guarantee deadlock freedom. We compare two classes of deadlock-free typed processes, here denoted L and K. The class L stands out for its canonicity: it results from Curry-Howard interpretations of linear logic propositions as session types. The class K, obtained by encoding session types into Kobayashi's linear types with usages, includes processes not typable in other type systems. We show that L is strictly included in K, and identify the precise conditions under which they coincide. We also provide two type-preserving translations of processes in K into processes in L." @default.
- W2892779121 created "2018-10-05" @default.
- W2892779121 creator A5034548013 @default.
- W2892779121 creator A5050784078 @default.
- W2892779121 date "2018-10-01" @default.
- W2892779121 modified "2023-09-27" @default.
- W2892779121 title "Comparing Type Systems for Deadlock Freedom" @default.
- W2892779121 cites W1498393124 @default.
- W2892779121 cites W1516360493 @default.
- W2892779121 cites W1523525039 @default.
- W2892779121 cites W1527058108 @default.
- W2892779121 cites W1531016348 @default.
- W2892779121 cites W1554326055 @default.
- W2892779121 cites W1557561422 @default.
- W2892779121 cites W1560340731 @default.
- W2892779121 cites W1607623316 @default.
- W2892779121 cites W1784055113 @default.
- W2892779121 cites W183006709 @default.
- W2892779121 cites W1941373452 @default.
- W2892779121 cites W196808440 @default.
- W2892779121 cites W199277246 @default.
- W2892779121 cites W2025260761 @default.
- W2892779121 cites W2042360145 @default.
- W2892779121 cites W2042668508 @default.
- W2892779121 cites W2054150540 @default.
- W2892779121 cites W2060992753 @default.
- W2892779121 cites W2061637869 @default.
- W2892779121 cites W2065772939 @default.
- W2892779121 cites W2079457432 @default.
- W2892779121 cites W2080718905 @default.
- W2892779121 cites W2085243417 @default.
- W2892779121 cites W2088962847 @default.
- W2892779121 cites W2107438584 @default.
- W2892779121 cites W2128280268 @default.
- W2892779121 cites W2128932399 @default.
- W2892779121 cites W2148901852 @default.
- W2892779121 cites W2153557668 @default.
- W2892779121 cites W2294770514 @default.
- W2892779121 cites W2327281523 @default.
- W2892779121 cites W2331388232 @default.
- W2892779121 cites W2340622488 @default.
- W2892779121 cites W2517371102 @default.
- W2892779121 cites W2594993942 @default.
- W2892779121 cites W2797550608 @default.
- W2892779121 cites W2913703063 @default.
- W2892779121 cites W2933941175 @default.
- W2892779121 cites W2963481060 @default.
- W2892779121 cites W607442046 @default.
- W2892779121 cites W82946149 @default.
- W2892779121 hasPublicationYear "2018" @default.
- W2892779121 type Work @default.
- W2892779121 sameAs 2892779121 @default.
- W2892779121 citedByCount "0" @default.
- W2892779121 crossrefType "posted-content" @default.
- W2892779121 hasAuthorship W2892779121A5034548013 @default.
- W2892779121 hasAuthorship W2892779121A5050784078 @default.
- W2892779121 hasConcept C120314980 @default.
- W2892779121 hasConcept C127413603 @default.
- W2892779121 hasConcept C135790938 @default.
- W2892779121 hasConcept C136764020 @default.
- W2892779121 hasConcept C154945302 @default.
- W2892779121 hasConcept C15569618 @default.
- W2892779121 hasConcept C159023740 @default.
- W2892779121 hasConcept C174839445 @default.
- W2892779121 hasConcept C18903297 @default.
- W2892779121 hasConcept C193702766 @default.
- W2892779121 hasConcept C199360897 @default.
- W2892779121 hasConcept C20528804 @default.
- W2892779121 hasConcept C2777212361 @default.
- W2892779121 hasConcept C2777299769 @default.
- W2892779121 hasConcept C2779182362 @default.
- W2892779121 hasConcept C41008148 @default.
- W2892779121 hasConcept C78519656 @default.
- W2892779121 hasConcept C80444323 @default.
- W2892779121 hasConcept C86803240 @default.
- W2892779121 hasConcept C93682546 @default.
- W2892779121 hasConceptScore W2892779121C120314980 @default.
- W2892779121 hasConceptScore W2892779121C127413603 @default.
- W2892779121 hasConceptScore W2892779121C135790938 @default.
- W2892779121 hasConceptScore W2892779121C136764020 @default.
- W2892779121 hasConceptScore W2892779121C154945302 @default.
- W2892779121 hasConceptScore W2892779121C15569618 @default.
- W2892779121 hasConceptScore W2892779121C159023740 @default.
- W2892779121 hasConceptScore W2892779121C174839445 @default.
- W2892779121 hasConceptScore W2892779121C18903297 @default.
- W2892779121 hasConceptScore W2892779121C193702766 @default.
- W2892779121 hasConceptScore W2892779121C199360897 @default.
- W2892779121 hasConceptScore W2892779121C20528804 @default.
- W2892779121 hasConceptScore W2892779121C2777212361 @default.
- W2892779121 hasConceptScore W2892779121C2777299769 @default.
- W2892779121 hasConceptScore W2892779121C2779182362 @default.
- W2892779121 hasConceptScore W2892779121C41008148 @default.
- W2892779121 hasConceptScore W2892779121C78519656 @default.
- W2892779121 hasConceptScore W2892779121C80444323 @default.
- W2892779121 hasConceptScore W2892779121C86803240 @default.
- W2892779121 hasConceptScore W2892779121C93682546 @default.
- W2892779121 hasLocation W28927791211 @default.
- W2892779121 hasOpenAccess W2892779121 @default.
- W2892779121 hasPrimaryLocation W28927791211 @default.
- W2892779121 hasRelatedWork W1543243434 @default.