Matches in SemOpenAlex for { <https://semopenalex.org/work/W2973983584> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2973983584 startingPage "28" @default.
- W2973983584 abstract "Session types are a type-based approach to the verification of message-passing programs. They have been much studied as type systems for the pi-calculus and for languages such as Java. A session type specifies what and when should be exchanged through a channel. Central to session-typed languages are constructs in types and processes that specify sequencing in protocols.Here we study minimal session types, session types without sequencing. This is arguably the simplest form of session types. By relying on a core process calculus with sessions and higher-order concurrency (abstraction-passing), we prove that every process typable with standard (non minimal) session types can be compiled down into a process typed with minimal session types. This means that having sequencing constructs in both processes and session types is redundant; only sequentiality in processes is indispensable, as it can precisely codify sequentiality in types.Our developments draw inspiration from work by Parrow on behavior-preserving decompositions of untyped processes. By casting Parrow's results in the realm of typed processes, our results reveal a conceptually simple formulation of session types and a principled avenue to the integration of session types into languages without sequencing in types." @default.
- W2973983584 created "2019-09-26" @default.
- W2973983584 creator A5019955252 @default.
- W2973983584 creator A5034548013 @default.
- W2973983584 creator A5066576798 @default.
- W2973983584 date "2019-01-01" @default.
- W2973983584 modified "2023-09-25" @default.
- W2973983584 title "Minimal Session Types" @default.
- W2973983584 doi "https://doi.org/10.4230/lipics.ecoop.2019.23" @default.
- W2973983584 hasPublicationYear "2019" @default.
- W2973983584 type Work @default.
- W2973983584 sameAs 2973983584 @default.
- W2973983584 citedByCount "1" @default.
- W2973983584 countsByYear W29739835842021 @default.
- W2973983584 crossrefType "proceedings-article" @default.
- W2973983584 hasAuthorship W2973983584A5019955252 @default.
- W2973983584 hasAuthorship W2973983584A5034548013 @default.
- W2973983584 hasAuthorship W2973983584A5066576798 @default.
- W2973983584 hasConcept C111472728 @default.
- W2973983584 hasConcept C124304363 @default.
- W2973983584 hasConcept C136764020 @default.
- W2973983584 hasConcept C138885662 @default.
- W2973983584 hasConcept C154945302 @default.
- W2973983584 hasConcept C161771561 @default.
- W2973983584 hasConcept C193702766 @default.
- W2973983584 hasConcept C198370458 @default.
- W2973983584 hasConcept C199360897 @default.
- W2973983584 hasConcept C2776214188 @default.
- W2973983584 hasConcept C2779182362 @default.
- W2973983584 hasConcept C41008148 @default.
- W2973983584 hasConcept C80444323 @default.
- W2973983584 hasConcept C98045186 @default.
- W2973983584 hasConceptScore W2973983584C111472728 @default.
- W2973983584 hasConceptScore W2973983584C124304363 @default.
- W2973983584 hasConceptScore W2973983584C136764020 @default.
- W2973983584 hasConceptScore W2973983584C138885662 @default.
- W2973983584 hasConceptScore W2973983584C154945302 @default.
- W2973983584 hasConceptScore W2973983584C161771561 @default.
- W2973983584 hasConceptScore W2973983584C193702766 @default.
- W2973983584 hasConceptScore W2973983584C198370458 @default.
- W2973983584 hasConceptScore W2973983584C199360897 @default.
- W2973983584 hasConceptScore W2973983584C2776214188 @default.
- W2973983584 hasConceptScore W2973983584C2779182362 @default.
- W2973983584 hasConceptScore W2973983584C41008148 @default.
- W2973983584 hasConceptScore W2973983584C80444323 @default.
- W2973983584 hasConceptScore W2973983584C98045186 @default.
- W2973983584 hasLocation W29739835841 @default.
- W2973983584 hasOpenAccess W2973983584 @default.
- W2973983584 hasPrimaryLocation W29739835841 @default.
- W2973983584 hasRelatedWork W150683364 @default.
- W2973983584 hasRelatedWork W1903474317 @default.
- W2973983584 hasRelatedWork W2019279239 @default.
- W2973983584 hasRelatedWork W2071395587 @default.
- W2973983584 hasRelatedWork W2098504640 @default.
- W2973983584 hasRelatedWork W2124126159 @default.
- W2973983584 hasRelatedWork W2265330953 @default.
- W2973983584 hasRelatedWork W2295577580 @default.
- W2973983584 hasRelatedWork W2295717976 @default.
- W2973983584 hasRelatedWork W2508649175 @default.
- W2973983584 hasRelatedWork W2514073179 @default.
- W2973983584 hasRelatedWork W27177897 @default.
- W2973983584 hasRelatedWork W2753352514 @default.
- W2973983584 hasRelatedWork W2948161124 @default.
- W2973983584 hasRelatedWork W2962736185 @default.
- W2973983584 hasRelatedWork W3093091986 @default.
- W2973983584 hasRelatedWork W3151502198 @default.
- W2973983584 hasRelatedWork W3171092197 @default.
- W2973983584 hasRelatedWork W3184696433 @default.
- W2973983584 hasRelatedWork W3206906505 @default.
- W2973983584 isParatext "false" @default.
- W2973983584 isRetracted "false" @default.
- W2973983584 magId "2973983584" @default.
- W2973983584 workType "article" @default.