Matches in SemOpenAlex for { <https://semopenalex.org/work/W2046798675> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2046798675 endingPage "446" @default.
- W2046798675 startingPage "432" @default.
- W2046798675 abstract "We present a reconstruction of session types in a conventional pi calculus where types are qualified as linear or unrestricted. Linearly typed communication channels are guaranteed to occur in exactly one thread, possibly multiple times. We equip types with a constructor that denotes the two ends of a same communication channel. In order to assess the flexibility of the new type system, we provide three distinct encodings (from the linear lambda calculus, from the linear pi calculus, and from the pi calculus with polarized variables) into our system. For each language we present operational and typing correspondences, showing that our system effectively subsumes the linear pi calculus as well as foregoing works on session types." @default.
- W2046798675 created "2016-06-24" @default.
- W2046798675 creator A5004650224 @default.
- W2046798675 creator A5016342119 @default.
- W2046798675 date "2010-01-01" @default.
- W2046798675 modified "2023-09-26" @default.
- W2046798675 title "A Linear Account of Session Types in the Pi Calculus" @default.
- W2046798675 cites W1498393124 @default.
- W2046798675 cites W1607623316 @default.
- W2046798675 cites W1651415197 @default.
- W2046798675 cites W1784055113 @default.
- W2046798675 cites W1986287807 @default.
- W2046798675 cites W1991069274 @default.
- W2046798675 cites W2015932520 @default.
- W2046798675 cites W2042360145 @default.
- W2046798675 cites W2088962847 @default.
- W2046798675 cites W2128932399 @default.
- W2046798675 cites W2145029935 @default.
- W2046798675 cites W2170511918 @default.
- W2046798675 cites W2170626879 @default.
- W2046798675 doi "https://doi.org/10.1007/978-3-642-15375-4_30" @default.
- W2046798675 hasPublicationYear "2010" @default.
- W2046798675 type Work @default.
- W2046798675 sameAs 2046798675 @default.
- W2046798675 citedByCount "19" @default.
- W2046798675 countsByYear W20467986752012 @default.
- W2046798675 countsByYear W20467986752013 @default.
- W2046798675 countsByYear W20467986752014 @default.
- W2046798675 countsByYear W20467986752015 @default.
- W2046798675 countsByYear W20467986752016 @default.
- W2046798675 crossrefType "book-chapter" @default.
- W2046798675 hasAuthorship W2046798675A5004650224 @default.
- W2046798675 hasAuthorship W2046798675A5016342119 @default.
- W2046798675 hasBestOaLocation W20467986752 @default.
- W2046798675 hasConcept C11413529 @default.
- W2046798675 hasConcept C135790938 @default.
- W2046798675 hasConcept C136119220 @default.
- W2046798675 hasConcept C136764020 @default.
- W2046798675 hasConcept C138101251 @default.
- W2046798675 hasConcept C142156749 @default.
- W2046798675 hasConcept C18903297 @default.
- W2046798675 hasConcept C199343813 @default.
- W2046798675 hasConcept C199360897 @default.
- W2046798675 hasConcept C202444582 @default.
- W2046798675 hasConcept C20528804 @default.
- W2046798675 hasConcept C2777299769 @default.
- W2046798675 hasConcept C2777686260 @default.
- W2046798675 hasConcept C2779182362 @default.
- W2046798675 hasConcept C2984882572 @default.
- W2046798675 hasConcept C33923547 @default.
- W2046798675 hasConcept C41008148 @default.
- W2046798675 hasConcept C55128367 @default.
- W2046798675 hasConcept C61237538 @default.
- W2046798675 hasConcept C71924100 @default.
- W2046798675 hasConcept C86803240 @default.
- W2046798675 hasConceptScore W2046798675C11413529 @default.
- W2046798675 hasConceptScore W2046798675C135790938 @default.
- W2046798675 hasConceptScore W2046798675C136119220 @default.
- W2046798675 hasConceptScore W2046798675C136764020 @default.
- W2046798675 hasConceptScore W2046798675C138101251 @default.
- W2046798675 hasConceptScore W2046798675C142156749 @default.
- W2046798675 hasConceptScore W2046798675C18903297 @default.
- W2046798675 hasConceptScore W2046798675C199343813 @default.
- W2046798675 hasConceptScore W2046798675C199360897 @default.
- W2046798675 hasConceptScore W2046798675C202444582 @default.
- W2046798675 hasConceptScore W2046798675C20528804 @default.
- W2046798675 hasConceptScore W2046798675C2777299769 @default.
- W2046798675 hasConceptScore W2046798675C2777686260 @default.
- W2046798675 hasConceptScore W2046798675C2779182362 @default.
- W2046798675 hasConceptScore W2046798675C2984882572 @default.
- W2046798675 hasConceptScore W2046798675C33923547 @default.
- W2046798675 hasConceptScore W2046798675C41008148 @default.
- W2046798675 hasConceptScore W2046798675C55128367 @default.
- W2046798675 hasConceptScore W2046798675C61237538 @default.
- W2046798675 hasConceptScore W2046798675C71924100 @default.
- W2046798675 hasConceptScore W2046798675C86803240 @default.
- W2046798675 hasLocation W20467986751 @default.
- W2046798675 hasLocation W20467986752 @default.
- W2046798675 hasOpenAccess W2046798675 @default.
- W2046798675 hasPrimaryLocation W20467986751 @default.
- W2046798675 hasRelatedWork W1603995370 @default.
- W2046798675 hasRelatedWork W1983748102 @default.
- W2046798675 hasRelatedWork W2003295197 @default.
- W2046798675 hasRelatedWork W2105663497 @default.
- W2046798675 hasRelatedWork W2140892577 @default.
- W2046798675 hasRelatedWork W21537352 @default.
- W2046798675 hasRelatedWork W2189323991 @default.
- W2046798675 hasRelatedWork W32986836 @default.
- W2046798675 hasRelatedWork W4253685039 @default.
- W2046798675 hasRelatedWork W3021962464 @default.
- W2046798675 isParatext "false" @default.
- W2046798675 isRetracted "false" @default.
- W2046798675 magId "2046798675" @default.
- W2046798675 workType "book-chapter" @default.