Matches in SemOpenAlex for { <https://semopenalex.org/work/W2293728411> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2293728411 endingPage "584" @default.
- W2293728411 startingPage "560" @default.
- W2293728411 abstract "Session types provide a static guarantee that concurrent programs respect communication protocols. Recently, Caires, Pfenning, and Toninho, and Wadler, have developed a correspondence between propositions of linear logic and session typed π-calculus processes. We relate the cut-elimination semantics of this approach to an operational semantics for session-typed concurrency in a functional language. We begin by presenting a variant of Wadler’s session-typed core functional language, GV. We give a small-step operational semantics for GV. We develop a suitable notion of deadlock, based on existing approaches for capturing deadlock in π-calculus, and show that all well-typed GV programs are deadlock-free, deterministic, and terminating. We relate GV to linear logic by giving translations between GV and CP, a process calculus with a type system and semantics based on classical linear logic. We prove that both directions of our translation preserve reduction; previous translations from GV to CP, in contrast, failed to preserve β-reduction. Furthermore, to demonstrate the modularity of our approach, we define two extensions of GV which preserve deadlock-freedom, determinism, and termination." @default.
- W2293728411 created "2016-06-24" @default.
- W2293728411 creator A5061903791 @default.
- W2293728411 creator A5067671067 @default.
- W2293728411 date "2015-01-01" @default.
- W2293728411 modified "2023-10-16" @default.
- W2293728411 title "A Semantics for Propositions as Sessions" @default.
- W2293728411 cites W1534772435 @default.
- W2293728411 cites W1547078458 @default.
- W2293728411 cites W1549565321 @default.
- W2293728411 cites W1560340731 @default.
- W2293728411 cites W1607623316 @default.
- W2293728411 cites W1784055113 @default.
- W2293728411 cites W1859118644 @default.
- W2293728411 cites W1941373452 @default.
- W2293728411 cites W196808440 @default.
- W2293728411 cites W199277246 @default.
- W2293728411 cites W2004063149 @default.
- W2293728411 cites W2010649834 @default.
- W2293728411 cites W2054150540 @default.
- W2293728411 cites W2061637869 @default.
- W2293728411 cites W2085243417 @default.
- W2293728411 cites W2092952058 @default.
- W2293728411 cites W2105716349 @default.
- W2293728411 cites W2107282204 @default.
- W2293728411 cites W2124126159 @default.
- W2293728411 cites W2128280268 @default.
- W2293728411 cites W2136327713 @default.
- W2293728411 cites W2138552902 @default.
- W2293728411 cites W2911865844 @default.
- W2293728411 doi "https://doi.org/10.1007/978-3-662-46669-8_23" @default.
- W2293728411 hasPublicationYear "2015" @default.
- W2293728411 type Work @default.
- W2293728411 sameAs 2293728411 @default.
- W2293728411 citedByCount "38" @default.
- W2293728411 countsByYear W22937284112016 @default.
- W2293728411 countsByYear W22937284112017 @default.
- W2293728411 countsByYear W22937284112018 @default.
- W2293728411 countsByYear W22937284112019 @default.
- W2293728411 countsByYear W22937284112020 @default.
- W2293728411 countsByYear W22937284112021 @default.
- W2293728411 countsByYear W22937284112022 @default.
- W2293728411 countsByYear W22937284112023 @default.
- W2293728411 crossrefType "book-chapter" @default.
- W2293728411 hasAuthorship W2293728411A5061903791 @default.
- W2293728411 hasAuthorship W2293728411A5067671067 @default.
- W2293728411 hasBestOaLocation W22937284112 @default.
- W2293728411 hasConcept C136764020 @default.
- W2293728411 hasConcept C156325763 @default.
- W2293728411 hasConcept C159023740 @default.
- W2293728411 hasConcept C161771561 @default.
- W2293728411 hasConcept C184337299 @default.
- W2293728411 hasConcept C193702766 @default.
- W2293728411 hasConcept C199360897 @default.
- W2293728411 hasConcept C207648694 @default.
- W2293728411 hasConcept C2779182362 @default.
- W2293728411 hasConcept C28077239 @default.
- W2293728411 hasConcept C41008148 @default.
- W2293728411 hasConcept C80444323 @default.
- W2293728411 hasConceptScore W2293728411C136764020 @default.
- W2293728411 hasConceptScore W2293728411C156325763 @default.
- W2293728411 hasConceptScore W2293728411C159023740 @default.
- W2293728411 hasConceptScore W2293728411C161771561 @default.
- W2293728411 hasConceptScore W2293728411C184337299 @default.
- W2293728411 hasConceptScore W2293728411C193702766 @default.
- W2293728411 hasConceptScore W2293728411C199360897 @default.
- W2293728411 hasConceptScore W2293728411C207648694 @default.
- W2293728411 hasConceptScore W2293728411C2779182362 @default.
- W2293728411 hasConceptScore W2293728411C28077239 @default.
- W2293728411 hasConceptScore W2293728411C41008148 @default.
- W2293728411 hasConceptScore W2293728411C80444323 @default.
- W2293728411 hasLocation W22937284111 @default.
- W2293728411 hasLocation W22937284112 @default.
- W2293728411 hasLocation W22937284113 @default.
- W2293728411 hasLocation W22937284114 @default.
- W2293728411 hasOpenAccess W2293728411 @default.
- W2293728411 hasPrimaryLocation W22937284111 @default.
- W2293728411 hasRelatedWork W1494714697 @default.
- W2293728411 hasRelatedWork W1536150964 @default.
- W2293728411 hasRelatedWork W1965724121 @default.
- W2293728411 hasRelatedWork W2142778060 @default.
- W2293728411 hasRelatedWork W2148160518 @default.
- W2293728411 hasRelatedWork W2151619199 @default.
- W2293728411 hasRelatedWork W2293728411 @default.
- W2293728411 hasRelatedWork W2962876128 @default.
- W2293728411 hasRelatedWork W3023376741 @default.
- W2293728411 hasRelatedWork W635304050 @default.
- W2293728411 isParatext "false" @default.
- W2293728411 isRetracted "false" @default.
- W2293728411 magId "2293728411" @default.
- W2293728411 workType "book-chapter" @default.