FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2365200093> ?p ?o ?g. }

• W2365200093 abstract "Concurrent computation model is one of the most important problems in theoretical computer science. The it-calculus is an important mobile process algebra where processes interact by sending communication links to each other. Comparing with the classical process calculi, such as CCS. π-calculus has better algebra properties and more expressive power. Just as λ-calcu-lus allows you to construct and reason about every possible computable function, there were high hopes that π-calculus would play similar role for concurrency. This paper is about the way we model objects and data types as π-calculus agents. And despite the fact that we've explicitly ignored the internal functionality of processes, it turns out that process algebra is powerful enough to model the whole recursive functions and has more higher efficiency for computation ." @default.
• W2365200093 created "2016-06-24" @default.
• W2365200093 creator A5018507908 @default.
• W2365200093 date "2005-01-01" @default.
• W2365200093 modified "2023-09-23" @default.
• W2365200093 title "π-Definability of Recursive Functions and Implementation Research" @default.
• W2365200093 hasPublicationYear "2005" @default.
• W2365200093 type Work @default.
• W2365200093 sameAs 2365200093 @default.
• W2365200093 citedByCount "0" @default.
• W2365200093 crossrefType "journal-article" @default.
• W2365200093 hasAuthorship W2365200093A5018507908 @default.
• W2365200093 hasConcept C11413529 @default.
• W2365200093 hasConcept C118615104 @default.
• W2365200093 hasConcept C136119220 @default.
• W2365200093 hasConcept C14036430 @default.
• W2365200093 hasConcept C161771561 @default.
• W2365200093 hasConcept C193702766 @default.
• W2365200093 hasConcept C195818886 @default.
• W2365200093 hasConcept C199343813 @default.
• W2365200093 hasConcept C199360897 @default.
• W2365200093 hasConcept C202444582 @default.
• W2365200093 hasConcept C2777686260 @default.
• W2365200093 hasConcept C2780801425 @default.
• W2365200093 hasConcept C2982939207 @default.
• W2365200093 hasConcept C33923547 @default.
• W2365200093 hasConcept C41008148 @default.
• W2365200093 hasConcept C45374587 @default.
• W2365200093 hasConcept C54271186 @default.
• W2365200093 hasConcept C71924100 @default.
• W2365200093 hasConcept C78458016 @default.
• W2365200093 hasConcept C80444323 @default.
• W2365200093 hasConcept C85955891 @default.
• W2365200093 hasConcept C86803240 @default.
• W2365200093 hasConcept C98045186 @default.
• W2365200093 hasConceptScore W2365200093C11413529 @default.
• W2365200093 hasConceptScore W2365200093C118615104 @default.
• W2365200093 hasConceptScore W2365200093C136119220 @default.
• W2365200093 hasConceptScore W2365200093C14036430 @default.
• W2365200093 hasConceptScore W2365200093C161771561 @default.
• W2365200093 hasConceptScore W2365200093C193702766 @default.
• W2365200093 hasConceptScore W2365200093C195818886 @default.
• W2365200093 hasConceptScore W2365200093C199343813 @default.
• W2365200093 hasConceptScore W2365200093C199360897 @default.
• W2365200093 hasConceptScore W2365200093C202444582 @default.
• W2365200093 hasConceptScore W2365200093C2777686260 @default.
• W2365200093 hasConceptScore W2365200093C2780801425 @default.
• W2365200093 hasConceptScore W2365200093C2982939207 @default.
• W2365200093 hasConceptScore W2365200093C33923547 @default.
• W2365200093 hasConceptScore W2365200093C41008148 @default.
• W2365200093 hasConceptScore W2365200093C45374587 @default.
• W2365200093 hasConceptScore W2365200093C54271186 @default.
• W2365200093 hasConceptScore W2365200093C71924100 @default.
• W2365200093 hasConceptScore W2365200093C78458016 @default.
• W2365200093 hasConceptScore W2365200093C80444323 @default.
• W2365200093 hasConceptScore W2365200093C85955891 @default.
• W2365200093 hasConceptScore W2365200093C86803240 @default.
• W2365200093 hasConceptScore W2365200093C98045186 @default.
• W2365200093 hasLocation W23652000931 @default.
• W2365200093 hasOpenAccess W2365200093 @default.
• W2365200093 hasPrimaryLocation W23652000931 @default.
• W2365200093 hasRelatedWork W1486432780 @default.
• W2365200093 hasRelatedWork W1538065081 @default.
• W2365200093 hasRelatedWork W1976667587 @default.
• W2365200093 hasRelatedWork W2053910508 @default.
• W2365200093 hasRelatedWork W2400741753 @default.
• W2365200093 hasRelatedWork W2411950980 @default.
• W2365200093 hasRelatedWork W2588353698 @default.
• W2365200093 hasRelatedWork W2833946054 @default.
• W2365200093 hasRelatedWork W2885708795 @default.
• W2365200093 hasRelatedWork W2950572995 @default.
• W2365200093 hasRelatedWork W2964566644 @default.
• W2365200093 hasRelatedWork W2976268830 @default.
• W2365200093 hasRelatedWork W3006785914 @default.
• W2365200093 hasRelatedWork W3031314371 @default.
• W2365200093 hasRelatedWork W3037285866 @default.
• W2365200093 hasRelatedWork W3157498506 @default.
• W2365200093 hasRelatedWork W3176738008 @default.
• W2365200093 hasRelatedWork W3177831581 @default.
• W2365200093 hasRelatedWork W44549130 @default.
• W2365200093 hasRelatedWork W966283692 @default.
• W2365200093 isParatext "false" @default.
• W2365200093 isRetracted "false" @default.
• W2365200093 magId "2365200093" @default.
• W2365200093 workType "article" @default.