Matches in SemOpenAlex for { <https://semopenalex.org/work/W2970459740> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2970459740 endingPage "127" @default.
- W2970459740 startingPage "114" @default.
- W2970459740 abstract "Parameterization extends higher-order processes with the capability of abstraction (akin to that in lambda-calculus), and is known to be able to enhance the expressiveness. This paper focuses on the parameterization of names, i.e. a construct that maps a name to a process, in the higher-order setting. We provide two results concerning its computation capacity. First, name parameterization brings up a complete model, in the sense that it can express an elementary interactive model with built-in recursive functions. Second, we compare name parameterization with the well-known pi-calculus, and provide two encodings between them." @default.
- W2970459740 created "2019-09-05" @default.
- W2970459740 creator A5028722677 @default.
- W2970459740 creator A5035018298 @default.
- W2970459740 creator A5088455728 @default.
- W2970459740 date "2015-01-01" @default.
- W2970459740 modified "2023-09-27" @default.
- W2970459740 title "On the Computation Power of Name Parameterization in Higher-order Processes." @default.
- W2970459740 hasPublicationYear "2015" @default.
- W2970459740 type Work @default.
- W2970459740 sameAs 2970459740 @default.
- W2970459740 citedByCount "0" @default.
- W2970459740 crossrefType "journal-article" @default.
- W2970459740 hasAuthorship W2970459740A5028722677 @default.
- W2970459740 hasAuthorship W2970459740A5035018298 @default.
- W2970459740 hasAuthorship W2970459740A5088455728 @default.
- W2970459740 hasConcept C10138342 @default.
- W2970459740 hasConcept C111472728 @default.
- W2970459740 hasConcept C11413529 @default.
- W2970459740 hasConcept C121332964 @default.
- W2970459740 hasConcept C124304363 @default.
- W2970459740 hasConcept C135790938 @default.
- W2970459740 hasConcept C136119220 @default.
- W2970459740 hasConcept C138885662 @default.
- W2970459740 hasConcept C162324750 @default.
- W2970459740 hasConcept C163258240 @default.
- W2970459740 hasConcept C182306322 @default.
- W2970459740 hasConcept C195818886 @default.
- W2970459740 hasConcept C199343813 @default.
- W2970459740 hasConcept C199360897 @default.
- W2970459740 hasConcept C202444582 @default.
- W2970459740 hasConcept C2777686260 @default.
- W2970459740 hasConcept C2780801425 @default.
- W2970459740 hasConcept C33923547 @default.
- W2970459740 hasConcept C41008148 @default.
- W2970459740 hasConcept C45374587 @default.
- W2970459740 hasConcept C62520636 @default.
- W2970459740 hasConcept C71924100 @default.
- W2970459740 hasConcept C80444323 @default.
- W2970459740 hasConcept C98045186 @default.
- W2970459740 hasConceptScore W2970459740C10138342 @default.
- W2970459740 hasConceptScore W2970459740C111472728 @default.
- W2970459740 hasConceptScore W2970459740C11413529 @default.
- W2970459740 hasConceptScore W2970459740C121332964 @default.
- W2970459740 hasConceptScore W2970459740C124304363 @default.
- W2970459740 hasConceptScore W2970459740C135790938 @default.
- W2970459740 hasConceptScore W2970459740C136119220 @default.
- W2970459740 hasConceptScore W2970459740C138885662 @default.
- W2970459740 hasConceptScore W2970459740C162324750 @default.
- W2970459740 hasConceptScore W2970459740C163258240 @default.
- W2970459740 hasConceptScore W2970459740C182306322 @default.
- W2970459740 hasConceptScore W2970459740C195818886 @default.
- W2970459740 hasConceptScore W2970459740C199343813 @default.
- W2970459740 hasConceptScore W2970459740C199360897 @default.
- W2970459740 hasConceptScore W2970459740C202444582 @default.
- W2970459740 hasConceptScore W2970459740C2777686260 @default.
- W2970459740 hasConceptScore W2970459740C2780801425 @default.
- W2970459740 hasConceptScore W2970459740C33923547 @default.
- W2970459740 hasConceptScore W2970459740C41008148 @default.
- W2970459740 hasConceptScore W2970459740C45374587 @default.
- W2970459740 hasConceptScore W2970459740C62520636 @default.
- W2970459740 hasConceptScore W2970459740C71924100 @default.
- W2970459740 hasConceptScore W2970459740C80444323 @default.
- W2970459740 hasConceptScore W2970459740C98045186 @default.
- W2970459740 hasLocation W29704597401 @default.
- W2970459740 hasOpenAccess W2970459740 @default.
- W2970459740 hasPrimaryLocation W29704597401 @default.
- W2970459740 hasRelatedWork W1479894205 @default.
- W2970459740 hasRelatedWork W1908449836 @default.
- W2970459740 hasRelatedWork W1999336811 @default.
- W2970459740 hasRelatedWork W2035729130 @default.
- W2970459740 hasRelatedWork W2040199558 @default.
- W2970459740 hasRelatedWork W2073040214 @default.
- W2970459740 hasRelatedWork W2075052434 @default.
- W2970459740 hasRelatedWork W2110572808 @default.
- W2970459740 hasRelatedWork W2140004703 @default.
- W2970459740 hasRelatedWork W2281752977 @default.
- W2970459740 hasRelatedWork W2285450090 @default.
- W2970459740 hasRelatedWork W2331781799 @default.
- W2970459740 hasRelatedWork W2344303302 @default.
- W2970459740 hasRelatedWork W2601109700 @default.
- W2970459740 hasRelatedWork W2976136300 @default.
- W2970459740 hasRelatedWork W3103318063 @default.
- W2970459740 hasRelatedWork W3104292256 @default.
- W2970459740 hasRelatedWork W3122093772 @default.
- W2970459740 hasRelatedWork W3190302205 @default.
- W2970459740 hasRelatedWork W1487144664 @default.
- W2970459740 isParatext "false" @default.
- W2970459740 isRetracted "false" @default.
- W2970459740 magId "2970459740" @default.
- W2970459740 workType "article" @default.