Matches in SemOpenAlex for { <https://semopenalex.org/work/W4288289319> ?p ?o ?g. }
Showing items 1 to 59 of
59
with 100 items per page.
- W4288289319 abstract "We develop a generalization of existing Curry-Howard interpretations of (binary) session types by relying on an extension of linear logic with features from hybrid logic, in particular modal worlds that indicate domains. These worlds govern domain migration, subject to a parametric accessibility relation familiar from the Kripke semantics of modal logic. The result is an expressive new typed process framework for domain-aware, message-passing concurrency. Its logical foundations ensure that well-typed processes enjoy session fidelity, global progress, and termination. Typing also ensures that processes only communicate with accessible domains and so respect the accessibility relation. Remarkably, our domain-aware framework can specify scenarios in which domain information is available only at runtime; flexible accessibility relations can be cleanly defined and statically enforced. As a specific application, we introduce domain-aware multiparty session types, in which global protocols can express arbitrarily nested sub-protocols via domain migration. We develop a precise analysis of these multiparty protocols by reduction to our binary domain-aware framework: complex domain-aware protocols can be reasoned about at the right level of abstraction, ensuring also the principled transfer of key correctness properties from the binary to the multiparty setting." @default.
- W4288289319 created "2022-07-28" @default.
- W4288289319 creator A5019928703 @default.
- W4288289319 creator A5021476649 @default.
- W4288289319 creator A5034548013 @default.
- W4288289319 creator A5039596448 @default.
- W4288289319 date "2019-07-02" @default.
- W4288289319 modified "2023-10-17" @default.
- W4288289319 title "Domain-Aware Session Types (Extended Version)" @default.
- W4288289319 doi "https://doi.org/10.48550/arxiv.1907.01318" @default.
- W4288289319 hasPublicationYear "2019" @default.
- W4288289319 type Work @default.
- W4288289319 citedByCount "0" @default.
- W4288289319 crossrefType "posted-content" @default.
- W4288289319 hasAuthorship W4288289319A5019928703 @default.
- W4288289319 hasAuthorship W4288289319A5021476649 @default.
- W4288289319 hasAuthorship W4288289319A5034548013 @default.
- W4288289319 hasAuthorship W4288289319A5039596448 @default.
- W4288289319 hasBestOaLocation W42882893191 @default.
- W4288289319 hasConcept C111472728 @default.
- W4288289319 hasConcept C124304363 @default.
- W4288289319 hasConcept C134306372 @default.
- W4288289319 hasConcept C138885662 @default.
- W4288289319 hasConcept C193702766 @default.
- W4288289319 hasConcept C199360897 @default.
- W4288289319 hasConcept C2780654840 @default.
- W4288289319 hasConcept C33923547 @default.
- W4288289319 hasConcept C36503486 @default.
- W4288289319 hasConcept C41008148 @default.
- W4288289319 hasConcept C55439883 @default.
- W4288289319 hasConcept C80444323 @default.
- W4288289319 hasConceptScore W4288289319C111472728 @default.
- W4288289319 hasConceptScore W4288289319C124304363 @default.
- W4288289319 hasConceptScore W4288289319C134306372 @default.
- W4288289319 hasConceptScore W4288289319C138885662 @default.
- W4288289319 hasConceptScore W4288289319C193702766 @default.
- W4288289319 hasConceptScore W4288289319C199360897 @default.
- W4288289319 hasConceptScore W4288289319C2780654840 @default.
- W4288289319 hasConceptScore W4288289319C33923547 @default.
- W4288289319 hasConceptScore W4288289319C36503486 @default.
- W4288289319 hasConceptScore W4288289319C41008148 @default.
- W4288289319 hasConceptScore W4288289319C55439883 @default.
- W4288289319 hasConceptScore W4288289319C80444323 @default.
- W4288289319 hasLocation W42882893191 @default.
- W4288289319 hasOpenAccess W4288289319 @default.
- W4288289319 hasPrimaryLocation W42882893191 @default.
- W4288289319 hasRelatedWork W1591842587 @default.
- W4288289319 hasRelatedWork W1795952373 @default.
- W4288289319 hasRelatedWork W1840677318 @default.
- W4288289319 hasRelatedWork W1968011359 @default.
- W4288289319 hasRelatedWork W1974583144 @default.
- W4288289319 hasRelatedWork W1996210202 @default.
- W4288289319 hasRelatedWork W2569947056 @default.
- W4288289319 hasRelatedWork W2951137283 @default.
- W4288289319 hasRelatedWork W2181384782 @default.
- W4288289319 hasRelatedWork W2611182424 @default.
- W4288289319 isParatext "false" @default.
- W4288289319 isRetracted "false" @default.
- W4288289319 workType "article" @default.