Matches in SemOpenAlex for { <https://semopenalex.org/work/W1663174014> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W1663174014 endingPage "296" @default.
- W1663174014 startingPage "280" @default.
- W1663174014 abstract "We introduce a concise pi-calculus with directed choices and develop a theory of subtyping. Built on a simple behavioural intuition, the calculus offers exact semantic analysis of the extant notions of subtyping in functional programming languages and session-based programming languages. After illustrating the idea of subtyping through examples, we show type-directed embeddings of two known subtyped calculi, one for functions and another for session-based communications. In both cases, the behavioural content of the original subtyping is precisely captured in the fine-grained subtyping theory in the pi-calculus. We then establish full abstraction of these embeddings with respect to their standard semantics, Morris’s contextual congruence in the case of the functional calculus and testing equivalence for the concurrent calculus. For the full abstraction of the embedding of the session-based calculus, we introduce a new proof method centring on non-deterministic computational adequacy and definability. Partially suggested by a technique used by Quaglia and Walker for their full abstraction result, the new proof method extends the framework used in game-based semantics to the May/Must equivalences, giving a uniform proof method for both deterministic and non-deterministic languages." @default.
- W1663174014 created "2016-06-24" @default.
- W1663174014 creator A5012191491 @default.
- W1663174014 creator A5013478917 @default.
- W1663174014 date "2011-01-01" @default.
- W1663174014 modified "2023-10-18" @default.
- W1663174014 title "Full Abstraction in a Subtyped pi-Calculus with Linear Types" @default.
- W1663174014 cites W1498393124 @default.
- W1663174014 cites W1537254735 @default.
- W1663174014 cites W1573099115 @default.
- W1663174014 cites W1582602188 @default.
- W1663174014 cites W1663174014 @default.
- W1663174014 cites W1784055113 @default.
- W1663174014 cites W1979473344 @default.
- W1663174014 cites W1984985219 @default.
- W1663174014 cites W1986287807 @default.
- W1663174014 cites W2014986236 @default.
- W1663174014 cites W2027657506 @default.
- W1663174014 cites W2028016184 @default.
- W1663174014 cites W2065261520 @default.
- W1663174014 cites W2079524041 @default.
- W1663174014 cites W2088962847 @default.
- W1663174014 cites W2123727486 @default.
- W1663174014 cites W2148025199 @default.
- W1663174014 cites W2167231542 @default.
- W1663174014 cites W2170626879 @default.
- W1663174014 cites W2295192560 @default.
- W1663174014 cites W2476379118 @default.
- W1663174014 cites W9800253 @default.
- W1663174014 doi "https://doi.org/10.1007/978-3-642-23217-6_19" @default.
- W1663174014 hasPublicationYear "2011" @default.
- W1663174014 type Work @default.
- W1663174014 sameAs 1663174014 @default.
- W1663174014 citedByCount "44" @default.
- W1663174014 countsByYear W16631740142012 @default.
- W1663174014 countsByYear W16631740142013 @default.
- W1663174014 countsByYear W16631740142014 @default.
- W1663174014 countsByYear W16631740142015 @default.
- W1663174014 countsByYear W16631740142016 @default.
- W1663174014 countsByYear W16631740142017 @default.
- W1663174014 countsByYear W16631740142018 @default.
- W1663174014 countsByYear W16631740142019 @default.
- W1663174014 countsByYear W16631740142020 @default.
- W1663174014 countsByYear W16631740142021 @default.
- W1663174014 countsByYear W16631740142022 @default.
- W1663174014 countsByYear W16631740142023 @default.
- W1663174014 crossrefType "book-chapter" @default.
- W1663174014 hasAuthorship W1663174014A5012191491 @default.
- W1663174014 hasAuthorship W1663174014A5013478917 @default.
- W1663174014 hasConcept C111472728 @default.
- W1663174014 hasConcept C124304363 @default.
- W1663174014 hasConcept C138885662 @default.
- W1663174014 hasConcept C154945302 @default.
- W1663174014 hasConcept C184337299 @default.
- W1663174014 hasConcept C199343813 @default.
- W1663174014 hasConcept C199360897 @default.
- W1663174014 hasConcept C2777686260 @default.
- W1663174014 hasConcept C2984882572 @default.
- W1663174014 hasConcept C41008148 @default.
- W1663174014 hasConcept C41608201 @default.
- W1663174014 hasConcept C42383842 @default.
- W1663174014 hasConcept C71924100 @default.
- W1663174014 hasConcept C80444323 @default.
- W1663174014 hasConcept C83852419 @default.
- W1663174014 hasConceptScore W1663174014C111472728 @default.
- W1663174014 hasConceptScore W1663174014C124304363 @default.
- W1663174014 hasConceptScore W1663174014C138885662 @default.
- W1663174014 hasConceptScore W1663174014C154945302 @default.
- W1663174014 hasConceptScore W1663174014C184337299 @default.
- W1663174014 hasConceptScore W1663174014C199343813 @default.
- W1663174014 hasConceptScore W1663174014C199360897 @default.
- W1663174014 hasConceptScore W1663174014C2777686260 @default.
- W1663174014 hasConceptScore W1663174014C2984882572 @default.
- W1663174014 hasConceptScore W1663174014C41008148 @default.
- W1663174014 hasConceptScore W1663174014C41608201 @default.
- W1663174014 hasConceptScore W1663174014C42383842 @default.
- W1663174014 hasConceptScore W1663174014C71924100 @default.
- W1663174014 hasConceptScore W1663174014C80444323 @default.
- W1663174014 hasConceptScore W1663174014C83852419 @default.
- W1663174014 hasLocation W16631740141 @default.
- W1663174014 hasOpenAccess W1663174014 @default.
- W1663174014 hasPrimaryLocation W16631740141 @default.
- W1663174014 hasRelatedWork W113898037 @default.
- W1663174014 hasRelatedWork W1480522639 @default.
- W1663174014 hasRelatedWork W1575522358 @default.
- W1663174014 hasRelatedWork W1587224678 @default.
- W1663174014 hasRelatedWork W2430700634 @default.
- W1663174014 hasRelatedWork W3021253659 @default.
- W1663174014 hasRelatedWork W3160136729 @default.
- W1663174014 hasRelatedWork W4238875431 @default.
- W1663174014 hasRelatedWork W4243252198 @default.
- W1663174014 hasRelatedWork W4312309273 @default.
- W1663174014 isParatext "false" @default.
- W1663174014 isRetracted "false" @default.
- W1663174014 magId "1663174014" @default.
- W1663174014 workType "book-chapter" @default.