Matches in SemOpenAlex for { <https://semopenalex.org/work/W4378718519> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W4378718519 abstract "Multiparty session types (MSTs) are a type-based approach to verifying communication protocols. Central to MSTs is a projection operator: a partial function that maps protocols represented as global types to correct-by-construction implementations for each participant, represented as a communicating state machine. Existing projection operators are syntactic in nature, and trade efficiency for completeness. We present the first projection operator that is sound, complete, and efficient. Our projection separates synthesis from checking implementability. For synthesis, we use a simple automata-theoretic construction; for checking implementability, we present succinct conditions that summarize insights into the property of implementability. We use these conditions to show that MST implementability is PSPACE-complete. This improves upon a previous decision procedure that is in EXPSPACE and applies to a smaller class of MSTs. We demonstrate the effectiveness of our approach using a prototype implementation, which handles global types not supported by previous work without sacrificing performance." @default.
- W4378718519 created "2023-05-30" @default.
- W4378718519 creator A5003819403 @default.
- W4378718519 creator A5011927030 @default.
- W4378718519 creator A5057084737 @default.
- W4378718519 creator A5069218698 @default.
- W4378718519 date "2023-05-26" @default.
- W4378718519 modified "2023-10-17" @default.
- W4378718519 title "Complete Multiparty Session Type Projection with Automata" @default.
- W4378718519 doi "https://doi.org/10.48550/arxiv.2305.17079" @default.
- W4378718519 hasPublicationYear "2023" @default.
- W4378718519 type Work @default.
- W4378718519 citedByCount "1" @default.
- W4378718519 countsByYear W43787185192023 @default.
- W4378718519 crossrefType "posted-content" @default.
- W4378718519 hasAuthorship W4378718519A5003819403 @default.
- W4378718519 hasAuthorship W4378718519A5011927030 @default.
- W4378718519 hasAuthorship W4378718519A5057084737 @default.
- W4378718519 hasAuthorship W4378718519A5069218698 @default.
- W4378718519 hasBestOaLocation W43787185191 @default.
- W4378718519 hasConcept C104317684 @default.
- W4378718519 hasConcept C110251889 @default.
- W4378718519 hasConcept C111472728 @default.
- W4378718519 hasConcept C112505250 @default.
- W4378718519 hasConcept C11413529 @default.
- W4378718519 hasConcept C134306372 @default.
- W4378718519 hasConcept C136764020 @default.
- W4378718519 hasConcept C138885662 @default.
- W4378718519 hasConcept C154945302 @default.
- W4378718519 hasConcept C158448853 @default.
- W4378718519 hasConcept C17020691 @default.
- W4378718519 hasConcept C17231256 @default.
- W4378718519 hasConcept C185592680 @default.
- W4378718519 hasConcept C18903297 @default.
- W4378718519 hasConcept C189950617 @default.
- W4378718519 hasConcept C199360897 @default.
- W4378718519 hasConcept C26713055 @default.
- W4378718519 hasConcept C2777212361 @default.
- W4378718519 hasConcept C2777299769 @default.
- W4378718519 hasConcept C2779182362 @default.
- W4378718519 hasConcept C33923547 @default.
- W4378718519 hasConcept C41008148 @default.
- W4378718519 hasConcept C48103436 @default.
- W4378718519 hasConcept C55493867 @default.
- W4378718519 hasConcept C57493831 @default.
- W4378718519 hasConcept C80444323 @default.
- W4378718519 hasConcept C86339819 @default.
- W4378718519 hasConcept C86803240 @default.
- W4378718519 hasConceptScore W4378718519C104317684 @default.
- W4378718519 hasConceptScore W4378718519C110251889 @default.
- W4378718519 hasConceptScore W4378718519C111472728 @default.
- W4378718519 hasConceptScore W4378718519C112505250 @default.
- W4378718519 hasConceptScore W4378718519C11413529 @default.
- W4378718519 hasConceptScore W4378718519C134306372 @default.
- W4378718519 hasConceptScore W4378718519C136764020 @default.
- W4378718519 hasConceptScore W4378718519C138885662 @default.
- W4378718519 hasConceptScore W4378718519C154945302 @default.
- W4378718519 hasConceptScore W4378718519C158448853 @default.
- W4378718519 hasConceptScore W4378718519C17020691 @default.
- W4378718519 hasConceptScore W4378718519C17231256 @default.
- W4378718519 hasConceptScore W4378718519C185592680 @default.
- W4378718519 hasConceptScore W4378718519C18903297 @default.
- W4378718519 hasConceptScore W4378718519C189950617 @default.
- W4378718519 hasConceptScore W4378718519C199360897 @default.
- W4378718519 hasConceptScore W4378718519C26713055 @default.
- W4378718519 hasConceptScore W4378718519C2777212361 @default.
- W4378718519 hasConceptScore W4378718519C2777299769 @default.
- W4378718519 hasConceptScore W4378718519C2779182362 @default.
- W4378718519 hasConceptScore W4378718519C33923547 @default.
- W4378718519 hasConceptScore W4378718519C41008148 @default.
- W4378718519 hasConceptScore W4378718519C48103436 @default.
- W4378718519 hasConceptScore W4378718519C55493867 @default.
- W4378718519 hasConceptScore W4378718519C57493831 @default.
- W4378718519 hasConceptScore W4378718519C80444323 @default.
- W4378718519 hasConceptScore W4378718519C86339819 @default.
- W4378718519 hasConceptScore W4378718519C86803240 @default.
- W4378718519 hasLocation W43787185191 @default.
- W4378718519 hasLocation W43787185192 @default.
- W4378718519 hasOpenAccess W4378718519 @default.
- W4378718519 hasPrimaryLocation W43787185191 @default.
- W4378718519 hasRelatedWork W1596929852 @default.
- W4378718519 hasRelatedWork W2050304663 @default.
- W4378718519 hasRelatedWork W2117798332 @default.
- W4378718519 hasRelatedWork W3151910078 @default.
- W4378718519 hasRelatedWork W4200635470 @default.
- W4378718519 hasRelatedWork W4226350019 @default.
- W4378718519 hasRelatedWork W4280532188 @default.
- W4378718519 hasRelatedWork W4378718519 @default.
- W4378718519 hasRelatedWork W4384471275 @default.
- W4378718519 hasRelatedWork W2746280673 @default.
- W4378718519 isParatext "false" @default.
- W4378718519 isRetracted "false" @default.
- W4378718519 workType "article" @default.