Matches in SemOpenAlex for { <https://semopenalex.org/work/W2163278217> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2163278217 endingPage "91" @default.
- W2163278217 startingPage "78" @default.
- W2163278217 abstract "The π-calculus is a process algebra that is capable of expressing the dynamic connection of communication links between processes. In this paper, we describe a methodology for implementing the communication links necessary for implementing the π-calculus. In the π-calculus, the communication links are formalized using the notion of name restriction, while in the implementation communication links are easily handled by name creation. No formal proof is given for their equivalence. Moreover, for the π-calculus augmented with data types, there is a counterexample of the equivalence. In this paper, we argue the restriction under which the equivalence holds for the π-calculus augmented with data types. © 2005 Wiley Periodicals, Inc. Syst Comp Jpn, 36(2): 78–91, 2005; Published online in Wiley InterScience (). DOI 10.1002sscj.10302" @default.
- W2163278217 created "2016-06-24" @default.
- W2163278217 creator A5010739087 @default.
- W2163278217 creator A5012520388 @default.
- W2163278217 creator A5028385676 @default.
- W2163278217 creator A5073951909 @default.
- W2163278217 date "2005-02-01" @default.
- W2163278217 modified "2023-10-18" @default.
- W2163278217 title "Name creation implements restriction in the π-calculus" @default.
- W2163278217 cites W1507802114 @default.
- W2163278217 cites W1529924754 @default.
- W2163278217 cites W167644748 @default.
- W2163278217 cites W2475080536 @default.
- W2163278217 hasPublicationYear "2005" @default.
- W2163278217 type Work @default.
- W2163278217 sameAs 2163278217 @default.
- W2163278217 citedByCount "1" @default.
- W2163278217 crossrefType "journal-article" @default.
- W2163278217 hasAuthorship W2163278217A5010739087 @default.
- W2163278217 hasAuthorship W2163278217A5012520388 @default.
- W2163278217 hasAuthorship W2163278217A5028385676 @default.
- W2163278217 hasAuthorship W2163278217A5073951909 @default.
- W2163278217 hasConcept C11413529 @default.
- W2163278217 hasConcept C118615104 @default.
- W2163278217 hasConcept C13355873 @default.
- W2163278217 hasConcept C161771561 @default.
- W2163278217 hasConcept C162838799 @default.
- W2163278217 hasConcept C199343813 @default.
- W2163278217 hasConcept C2524010 @default.
- W2163278217 hasConcept C2777686260 @default.
- W2163278217 hasConcept C2780069185 @default.
- W2163278217 hasConcept C2984882572 @default.
- W2163278217 hasConcept C33923547 @default.
- W2163278217 hasConcept C41008148 @default.
- W2163278217 hasConcept C71924100 @default.
- W2163278217 hasConcept C80444323 @default.
- W2163278217 hasConceptScore W2163278217C11413529 @default.
- W2163278217 hasConceptScore W2163278217C118615104 @default.
- W2163278217 hasConceptScore W2163278217C13355873 @default.
- W2163278217 hasConceptScore W2163278217C161771561 @default.
- W2163278217 hasConceptScore W2163278217C162838799 @default.
- W2163278217 hasConceptScore W2163278217C199343813 @default.
- W2163278217 hasConceptScore W2163278217C2524010 @default.
- W2163278217 hasConceptScore W2163278217C2777686260 @default.
- W2163278217 hasConceptScore W2163278217C2780069185 @default.
- W2163278217 hasConceptScore W2163278217C2984882572 @default.
- W2163278217 hasConceptScore W2163278217C33923547 @default.
- W2163278217 hasConceptScore W2163278217C41008148 @default.
- W2163278217 hasConceptScore W2163278217C71924100 @default.
- W2163278217 hasConceptScore W2163278217C80444323 @default.
- W2163278217 hasIssue "2" @default.
- W2163278217 hasLocation W21632782171 @default.
- W2163278217 hasOpenAccess W2163278217 @default.
- W2163278217 hasPrimaryLocation W21632782171 @default.
- W2163278217 hasRelatedWork W1512475191 @default.
- W2163278217 hasRelatedWork W1551326782 @default.
- W2163278217 hasRelatedWork W1582602188 @default.
- W2163278217 hasRelatedWork W1594388366 @default.
- W2163278217 hasRelatedWork W1603295320 @default.
- W2163278217 hasRelatedWork W1759774365 @default.
- W2163278217 hasRelatedWork W1769237108 @default.
- W2163278217 hasRelatedWork W2012539256 @default.
- W2163278217 hasRelatedWork W2048015200 @default.
- W2163278217 hasRelatedWork W2051555200 @default.
- W2163278217 hasRelatedWork W2054299141 @default.
- W2163278217 hasRelatedWork W2065404434 @default.
- W2163278217 hasRelatedWork W2076878483 @default.
- W2163278217 hasRelatedWork W2098311390 @default.
- W2163278217 hasRelatedWork W2109585055 @default.
- W2163278217 hasRelatedWork W2145044561 @default.
- W2163278217 hasRelatedWork W2413857186 @default.
- W2163278217 hasRelatedWork W2825557463 @default.
- W2163278217 hasRelatedWork W3041811685 @default.
- W2163278217 hasRelatedWork W3023559128 @default.
- W2163278217 hasVolume "36" @default.
- W2163278217 isParatext "false" @default.
- W2163278217 isRetracted "false" @default.
- W2163278217 magId "2163278217" @default.
- W2163278217 workType "article" @default.