Matches in SemOpenAlex for { <https://semopenalex.org/work/W2952783004> ?p ?o ?g. }
- W2952783004 abstract "Session types describe the structure of communications implemented by channels. In particular, they prescribe the sequence of communications, whether they are input or output actions, and the type of value exchanged. Crucial to any language with session types is the notion of linearity, which is essential to ensure that channels exhibit the behaviour prescribed by their type without interference in the presence of concurrency. In this work we relax the condition of linearity to that of affinity, by which channels exhibit at most the behaviour prescribed by their types. This more liberal setting allows us to incorporate an elegant error handling mechanism which simplifies and improves related works on exceptions. Moreover, our treatment does not affect the progress properties of the language: sessions never get stuck." @default.
- W2952783004 created "2019-06-27" @default.
- W2952783004 creator A5016342119 @default.
- W2952783004 creator A5037129874 @default.
- W2952783004 date "2018-09-08" @default.
- W2952783004 modified "2023-10-16" @default.
- W2952783004 title "Affine Sessions" @default.
- W2952783004 cites W1498393124 @default.
- W2952783004 cites W1552587784 @default.
- W2952783004 cites W1585111997 @default.
- W2952783004 cites W1607623316 @default.
- W2952783004 cites W1784055113 @default.
- W2952783004 cites W1798573313 @default.
- W2952783004 cites W2012968289 @default.
- W2952783004 cites W2023274662 @default.
- W2952783004 cites W2025260761 @default.
- W2952783004 cites W2032399648 @default.
- W2952783004 cites W2040105559 @default.
- W2952783004 cites W2046488919 @default.
- W2952783004 cites W2080718905 @default.
- W2952783004 cites W2088962847 @default.
- W2952783004 cites W2111753732 @default.
- W2952783004 cites W2133538984 @default.
- W2952783004 cites W2170626879 @default.
- W2952783004 cites W2404671718 @default.
- W2952783004 cites W2728916539 @default.
- W2952783004 cites W3147754316 @default.
- W2952783004 doi "https://doi.org/10.23638/lmcs-14(4:14)2018" @default.
- W2952783004 hasPublicationYear "2018" @default.
- W2952783004 type Work @default.
- W2952783004 sameAs 2952783004 @default.
- W2952783004 citedByCount "3" @default.
- W2952783004 countsByYear W29527830042019 @default.
- W2952783004 countsByYear W29527830042023 @default.
- W2952783004 crossrefType "posted-content" @default.
- W2952783004 hasAuthorship W2952783004A5016342119 @default.
- W2952783004 hasAuthorship W2952783004A5037129874 @default.
- W2952783004 hasBestOaLocation W29527830041 @default.
- W2952783004 hasConcept C119857082 @default.
- W2952783004 hasConcept C127413603 @default.
- W2952783004 hasConcept C136764020 @default.
- W2952783004 hasConcept C18903297 @default.
- W2952783004 hasConcept C193702766 @default.
- W2952783004 hasConcept C199360897 @default.
- W2952783004 hasConcept C202444582 @default.
- W2952783004 hasConcept C24326235 @default.
- W2952783004 hasConcept C2776291640 @default.
- W2952783004 hasConcept C2777299769 @default.
- W2952783004 hasConcept C2778112365 @default.
- W2952783004 hasConcept C2779182362 @default.
- W2952783004 hasConcept C33923547 @default.
- W2952783004 hasConcept C41008148 @default.
- W2952783004 hasConcept C54355233 @default.
- W2952783004 hasConcept C77170095 @default.
- W2952783004 hasConcept C80444323 @default.
- W2952783004 hasConcept C86803240 @default.
- W2952783004 hasConcept C92757383 @default.
- W2952783004 hasConceptScore W2952783004C119857082 @default.
- W2952783004 hasConceptScore W2952783004C127413603 @default.
- W2952783004 hasConceptScore W2952783004C136764020 @default.
- W2952783004 hasConceptScore W2952783004C18903297 @default.
- W2952783004 hasConceptScore W2952783004C193702766 @default.
- W2952783004 hasConceptScore W2952783004C199360897 @default.
- W2952783004 hasConceptScore W2952783004C202444582 @default.
- W2952783004 hasConceptScore W2952783004C24326235 @default.
- W2952783004 hasConceptScore W2952783004C2776291640 @default.
- W2952783004 hasConceptScore W2952783004C2777299769 @default.
- W2952783004 hasConceptScore W2952783004C2778112365 @default.
- W2952783004 hasConceptScore W2952783004C2779182362 @default.
- W2952783004 hasConceptScore W2952783004C33923547 @default.
- W2952783004 hasConceptScore W2952783004C41008148 @default.
- W2952783004 hasConceptScore W2952783004C54355233 @default.
- W2952783004 hasConceptScore W2952783004C77170095 @default.
- W2952783004 hasConceptScore W2952783004C80444323 @default.
- W2952783004 hasConceptScore W2952783004C86803240 @default.
- W2952783004 hasConceptScore W2952783004C92757383 @default.
- W2952783004 hasLocation W29527830041 @default.
- W2952783004 hasOpenAccess W2952783004 @default.
- W2952783004 hasPrimaryLocation W29527830041 @default.
- W2952783004 hasRelatedWork W1513588022 @default.
- W2952783004 hasRelatedWork W187216641 @default.
- W2952783004 hasRelatedWork W1934012420 @default.
- W2952783004 hasRelatedWork W1970637218 @default.
- W2952783004 hasRelatedWork W2025971955 @default.
- W2952783004 hasRelatedWork W2112694783 @default.
- W2952783004 hasRelatedWork W2196111987 @default.
- W2952783004 hasRelatedWork W2338315354 @default.
- W2952783004 hasRelatedWork W2342506888 @default.
- W2952783004 hasRelatedWork W2611400710 @default.
- W2952783004 hasRelatedWork W2768530731 @default.
- W2952783004 hasRelatedWork W2886034110 @default.
- W2952783004 hasRelatedWork W2898575499 @default.
- W2952783004 hasRelatedWork W2933941175 @default.
- W2952783004 hasRelatedWork W2951609085 @default.
- W2952783004 hasRelatedWork W2953325823 @default.
- W2952783004 hasRelatedWork W3092353105 @default.
- W2952783004 hasRelatedWork W3175598503 @default.
- W2952783004 hasRelatedWork W5173811 @default.
- W2952783004 hasRelatedWork W89473788 @default.
- W2952783004 isParatext "false" @default.