Matches in SemOpenAlex for { <https://semopenalex.org/work/W3032132007> ?p ?o ?g. }
- W3032132007 endingPage "83" @default.
- W3032132007 startingPage "54" @default.
- W3032132007 abstract "The expressiveness of communication primitives has been explored in a common framework based on the π-calculus by considering four features: synchronism (asynchronous vs synchronous), arity (monadic vs polyadic data), communication medium (shared dataspaces vs channel-based), and pattern-matching (binding to a name vs testing name equality). Here pattern-matching is generalised to account for terms with internal structure such as in recent calculi like Spi calculi, Concurrent Pattern Calculus and Psi calculi. This paper explores intensionality, a feature that extends pattern-matching to allow communication primitives to interact by also matching on the structure of terms. By means of possibility/impossibility of encodings, this paper shows that intensionality alone can encode synchronism, arity, communication-medium, and pattern-matching, yet no combination of these without intensionality can encode any intensional language. Further, some languages may also be non-linear, where two inputs must be equal to allow interaction. This paper also explores all the relations between linear and non-linear variations of the above languages." @default.
- W3032132007 created "2020-06-05" @default.
- W3032132007 creator A5030129842 @default.
- W3032132007 creator A5056970793 @default.
- W3032132007 creator A5066639047 @default.
- W3032132007 date "2020-10-01" @default.
- W3032132007 modified "2023-09-26" @default.
- W3032132007 title "Expressiveness of concurrent intensionality" @default.
- W3032132007 cites W1490390913 @default.
- W3032132007 cites W1523525039 @default.
- W3032132007 cites W1546588682 @default.
- W3032132007 cites W156122850 @default.
- W3032132007 cites W1591694044 @default.
- W3032132007 cites W1726167117 @default.
- W3032132007 cites W1895954544 @default.
- W3032132007 cites W1944468146 @default.
- W3032132007 cites W1968539782 @default.
- W3032132007 cites W1971942224 @default.
- W3032132007 cites W1979473344 @default.
- W3032132007 cites W1994676271 @default.
- W3032132007 cites W1995541075 @default.
- W3032132007 cites W2014986236 @default.
- W3032132007 cites W2019329654 @default.
- W3032132007 cites W2021990421 @default.
- W3032132007 cites W2040821818 @default.
- W3032132007 cites W2046825040 @default.
- W3032132007 cites W2060992753 @default.
- W3032132007 cites W2061670305 @default.
- W3032132007 cites W2070157304 @default.
- W3032132007 cites W2072048176 @default.
- W3032132007 cites W2101777639 @default.
- W3032132007 cites W2118010897 @default.
- W3032132007 cites W2118042780 @default.
- W3032132007 cites W2128932399 @default.
- W3032132007 cites W2133867632 @default.
- W3032132007 cites W2161307885 @default.
- W3032132007 cites W2161353020 @default.
- W3032132007 cites W2162905001 @default.
- W3032132007 cites W2164297069 @default.
- W3032132007 cites W2164485904 @default.
- W3032132007 cites W2230160487 @default.
- W3032132007 cites W2481588761 @default.
- W3032132007 cites W2523275915 @default.
- W3032132007 cites W2531254408 @default.
- W3032132007 cites W2746615903 @default.
- W3032132007 cites W2787997587 @default.
- W3032132007 cites W2914421362 @default.
- W3032132007 cites W2951427075 @default.
- W3032132007 cites W3098238745 @default.
- W3032132007 cites W3124439491 @default.
- W3032132007 cites W1794259958 @default.
- W3032132007 doi "https://doi.org/10.1016/j.tcs.2020.05.007" @default.
- W3032132007 hasPublicationYear "2020" @default.
- W3032132007 type Work @default.
- W3032132007 sameAs 3032132007 @default.
- W3032132007 citedByCount "0" @default.
- W3032132007 crossrefType "journal-article" @default.
- W3032132007 hasAuthorship W3032132007A5030129842 @default.
- W3032132007 hasAuthorship W3032132007A5056970793 @default.
- W3032132007 hasAuthorship W3032132007A5066639047 @default.
- W3032132007 hasConcept C104317684 @default.
- W3032132007 hasConcept C105795698 @default.
- W3032132007 hasConcept C110546421 @default.
- W3032132007 hasConcept C118615104 @default.
- W3032132007 hasConcept C138885662 @default.
- W3032132007 hasConcept C151319957 @default.
- W3032132007 hasConcept C154690210 @default.
- W3032132007 hasConcept C165064840 @default.
- W3032132007 hasConcept C17744445 @default.
- W3032132007 hasConcept C185592680 @default.
- W3032132007 hasConcept C199360897 @default.
- W3032132007 hasConcept C199539241 @default.
- W3032132007 hasConcept C2776261394 @default.
- W3032132007 hasConcept C2776401178 @default.
- W3032132007 hasConcept C2779853468 @default.
- W3032132007 hasConcept C31258907 @default.
- W3032132007 hasConcept C33923547 @default.
- W3032132007 hasConcept C41008148 @default.
- W3032132007 hasConcept C41895202 @default.
- W3032132007 hasConcept C55493867 @default.
- W3032132007 hasConcept C66746571 @default.
- W3032132007 hasConcept C80444323 @default.
- W3032132007 hasConceptScore W3032132007C104317684 @default.
- W3032132007 hasConceptScore W3032132007C105795698 @default.
- W3032132007 hasConceptScore W3032132007C110546421 @default.
- W3032132007 hasConceptScore W3032132007C118615104 @default.
- W3032132007 hasConceptScore W3032132007C138885662 @default.
- W3032132007 hasConceptScore W3032132007C151319957 @default.
- W3032132007 hasConceptScore W3032132007C154690210 @default.
- W3032132007 hasConceptScore W3032132007C165064840 @default.
- W3032132007 hasConceptScore W3032132007C17744445 @default.
- W3032132007 hasConceptScore W3032132007C185592680 @default.
- W3032132007 hasConceptScore W3032132007C199360897 @default.
- W3032132007 hasConceptScore W3032132007C199539241 @default.
- W3032132007 hasConceptScore W3032132007C2776261394 @default.
- W3032132007 hasConceptScore W3032132007C2776401178 @default.
- W3032132007 hasConceptScore W3032132007C2779853468 @default.
- W3032132007 hasConceptScore W3032132007C31258907 @default.