Matches in SemOpenAlex for { <https://semopenalex.org/work/W2170052897> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W2170052897 endingPage "1451" @default.
- W2170052897 startingPage "1387" @default.
- W2170052897 abstract "Subbisimilarity is proposed as a general tool to classify the relative expressive power of process calculi. The expressiveness of several variants of CCS is compared in terms of the subbisimilarity relationship. Similar investigation is also carried out for the variants of the pi calculus. The relative expressiveness of the different forms of the choice operation and the different ways of introducing infinite behaviors are systematically studied in both the frameworks of CCS and pi. Some issues concerning the expressiveness of both CCS and pi are clarified. Several open problems are solved along the way. The subbisimilarity approach and the relative expressiveness results are applied to show the independence of the operators of the pi calculus. The definition of the subbisimilarity relationship can be further strengthened with computational requirement, leading to a uniform treatment of computation and interaction." @default.
- W2170052897 created "2016-06-24" @default.
- W2170052897 creator A5026708634 @default.
- W2170052897 creator A5078784651 @default.
- W2170052897 date "2010-03-01" @default.
- W2170052897 modified "2023-09-29" @default.
- W2170052897 title "On the expressiveness of interaction" @default.
- W2170052897 cites W1965087609 @default.
- W2170052897 cites W1967174286 @default.
- W2170052897 cites W1968539782 @default.
- W2170052897 cites W1990440312 @default.
- W2170052897 cites W1993828725 @default.
- W2170052897 cites W2001299902 @default.
- W2170052897 cites W2009560105 @default.
- W2170052897 cites W2027689693 @default.
- W2170052897 cites W2028448192 @default.
- W2170052897 cites W2029133311 @default.
- W2170052897 cites W2033051110 @default.
- W2170052897 cites W2085273936 @default.
- W2170052897 cites W2093236316 @default.
- W2170052897 cites W2094862963 @default.
- W2170052897 cites W2110917011 @default.
- W2170052897 cites W2131851771 @default.
- W2170052897 cites W2157144873 @default.
- W2170052897 cites W2170626879 @default.
- W2170052897 cites W2214437647 @default.
- W2170052897 cites W2911865844 @default.
- W2170052897 cites W2912003593 @default.
- W2170052897 cites W2912565202 @default.
- W2170052897 cites W2913663755 @default.
- W2170052897 cites W3032274181 @default.
- W2170052897 cites W3124439491 @default.
- W2170052897 doi "https://doi.org/10.1016/j.tcs.2009.11.011" @default.
- W2170052897 hasPublicationYear "2010" @default.
- W2170052897 type Work @default.
- W2170052897 sameAs 2170052897 @default.
- W2170052897 citedByCount "49" @default.
- W2170052897 countsByYear W21700528972012 @default.
- W2170052897 countsByYear W21700528972013 @default.
- W2170052897 countsByYear W21700528972014 @default.
- W2170052897 countsByYear W21700528972015 @default.
- W2170052897 countsByYear W21700528972016 @default.
- W2170052897 countsByYear W21700528972017 @default.
- W2170052897 countsByYear W21700528972018 @default.
- W2170052897 countsByYear W21700528972019 @default.
- W2170052897 countsByYear W21700528972020 @default.
- W2170052897 countsByYear W21700528972021 @default.
- W2170052897 countsByYear W21700528972022 @default.
- W2170052897 crossrefType "journal-article" @default.
- W2170052897 hasAuthorship W2170052897A5026708634 @default.
- W2170052897 hasAuthorship W2170052897A5078784651 @default.
- W2170052897 hasBestOaLocation W21700528971 @default.
- W2170052897 hasConcept C105795698 @default.
- W2170052897 hasConcept C11413529 @default.
- W2170052897 hasConcept C136119220 @default.
- W2170052897 hasConcept C195818886 @default.
- W2170052897 hasConcept C199360897 @default.
- W2170052897 hasConcept C202444582 @default.
- W2170052897 hasConcept C2984882572 @default.
- W2170052897 hasConcept C33923547 @default.
- W2170052897 hasConcept C35651441 @default.
- W2170052897 hasConcept C41008148 @default.
- W2170052897 hasConcept C45374587 @default.
- W2170052897 hasConcept C80444323 @default.
- W2170052897 hasConcept C98045186 @default.
- W2170052897 hasConceptScore W2170052897C105795698 @default.
- W2170052897 hasConceptScore W2170052897C11413529 @default.
- W2170052897 hasConceptScore W2170052897C136119220 @default.
- W2170052897 hasConceptScore W2170052897C195818886 @default.
- W2170052897 hasConceptScore W2170052897C199360897 @default.
- W2170052897 hasConceptScore W2170052897C202444582 @default.
- W2170052897 hasConceptScore W2170052897C2984882572 @default.
- W2170052897 hasConceptScore W2170052897C33923547 @default.
- W2170052897 hasConceptScore W2170052897C35651441 @default.
- W2170052897 hasConceptScore W2170052897C41008148 @default.
- W2170052897 hasConceptScore W2170052897C45374587 @default.
- W2170052897 hasConceptScore W2170052897C80444323 @default.
- W2170052897 hasConceptScore W2170052897C98045186 @default.
- W2170052897 hasIssue "11-13" @default.
- W2170052897 hasLocation W21700528971 @default.
- W2170052897 hasOpenAccess W2170052897 @default.
- W2170052897 hasPrimaryLocation W21700528971 @default.
- W2170052897 hasRelatedWork W1534842550 @default.
- W2170052897 hasRelatedWork W1558039349 @default.
- W2170052897 hasRelatedWork W1572523360 @default.
- W2170052897 hasRelatedWork W1587906417 @default.
- W2170052897 hasRelatedWork W2121367871 @default.
- W2170052897 hasRelatedWork W2171424390 @default.
- W2170052897 hasRelatedWork W2352648941 @default.
- W2170052897 hasRelatedWork W2354062721 @default.
- W2170052897 hasRelatedWork W2375463041 @default.
- W2170052897 hasRelatedWork W2942044399 @default.
- W2170052897 hasVolume "411" @default.
- W2170052897 isParatext "false" @default.
- W2170052897 isRetracted "false" @default.
- W2170052897 magId "2170052897" @default.
- W2170052897 workType "article" @default.