Matches in SemOpenAlex for { <https://semopenalex.org/work/W2951427075> ?p ?o ?g. }
- W2951427075 abstract "Computation can be considered by taking into account two dimensions: extensional versus intensional, and sequential versus concurrent. Traditionally sequential extensional computation can be captured by the lambda-calculus. However, recent work shows that there are more expressive intensional calculi such as SF-calculus. Traditionally process calculi capture computation by encoding the lambda-calculus, such as in the pi-calculus. Following this increased expressiveness via intensionality, other recent work has shown that concurrent pattern calculus is more expressive than pi-calculus. This paper formalises the relative expressiveness of all four of these calculi by placing them on a square whose edges are irreversible encodings. This square is representative of a more general result: that expressiveness increases with both intensionality and concurrency." @default.
- W2951427075 created "2019-06-27" @default.
- W2951427075 creator A5056970793 @default.
- W2951427075 date "2014-04-02" @default.
- W2951427075 modified "2023-09-27" @default.
- W2951427075 title "Expressiveness via Intensionality and Concurrency" @default.
- W2951427075 cites W156122850 @default.
- W2951427075 cites W1603799276 @default.
- W2951427075 cites W172004165 @default.
- W2951427075 cites W1726167117 @default.
- W2951427075 cites W1895954544 @default.
- W2951427075 cites W1944468146 @default.
- W2951427075 cites W1968539782 @default.
- W2951427075 cites W1971942224 @default.
- W2951427075 cites W1993746530 @default.
- W2951427075 cites W1994676271 @default.
- W2951427075 cites W1995541075 @default.
- W2951427075 cites W2019329654 @default.
- W2951427075 cites W2028613837 @default.
- W2951427075 cites W2040821818 @default.
- W2951427075 cites W2046825040 @default.
- W2951427075 cites W2060992753 @default.
- W2951427075 cites W2102222848 @default.
- W2951427075 cites W2118010897 @default.
- W2951427075 cites W2128932399 @default.
- W2951427075 cites W2133867632 @default.
- W2951427075 cites W2154273644 @default.
- W2951427075 cites W2164485904 @default.
- W2951427075 cites W2170626879 @default.
- W2951427075 cites W2329766482 @default.
- W2951427075 cites W2481588761 @default.
- W2951427075 hasPublicationYear "2014" @default.
- W2951427075 type Work @default.
- W2951427075 sameAs 2951427075 @default.
- W2951427075 citedByCount "3" @default.
- W2951427075 countsByYear W29514270752015 @default.
- W2951427075 countsByYear W29514270752018 @default.
- W2951427075 countsByYear W29514270752020 @default.
- W2951427075 crossrefType "posted-content" @default.
- W2951427075 hasAuthorship W2951427075A5056970793 @default.
- W2951427075 hasConcept C135790938 @default.
- W2951427075 hasConcept C136119220 @default.
- W2951427075 hasConcept C136137745 @default.
- W2951427075 hasConcept C150355047 @default.
- W2951427075 hasConcept C151730666 @default.
- W2951427075 hasConcept C161771561 @default.
- W2951427075 hasConcept C193702766 @default.
- W2951427075 hasConcept C199343813 @default.
- W2951427075 hasConcept C199360897 @default.
- W2951427075 hasConcept C202444582 @default.
- W2951427075 hasConcept C2777686260 @default.
- W2951427075 hasConcept C33923547 @default.
- W2951427075 hasConcept C41008148 @default.
- W2951427075 hasConcept C45374587 @default.
- W2951427075 hasConcept C71924100 @default.
- W2951427075 hasConcept C77928131 @default.
- W2951427075 hasConcept C86803240 @default.
- W2951427075 hasConceptScore W2951427075C135790938 @default.
- W2951427075 hasConceptScore W2951427075C136119220 @default.
- W2951427075 hasConceptScore W2951427075C136137745 @default.
- W2951427075 hasConceptScore W2951427075C150355047 @default.
- W2951427075 hasConceptScore W2951427075C151730666 @default.
- W2951427075 hasConceptScore W2951427075C161771561 @default.
- W2951427075 hasConceptScore W2951427075C193702766 @default.
- W2951427075 hasConceptScore W2951427075C199343813 @default.
- W2951427075 hasConceptScore W2951427075C199360897 @default.
- W2951427075 hasConceptScore W2951427075C202444582 @default.
- W2951427075 hasConceptScore W2951427075C2777686260 @default.
- W2951427075 hasConceptScore W2951427075C33923547 @default.
- W2951427075 hasConceptScore W2951427075C41008148 @default.
- W2951427075 hasConceptScore W2951427075C45374587 @default.
- W2951427075 hasConceptScore W2951427075C71924100 @default.
- W2951427075 hasConceptScore W2951427075C77928131 @default.
- W2951427075 hasConceptScore W2951427075C86803240 @default.
- W2951427075 hasLocation W29514270751 @default.
- W2951427075 hasOpenAccess W2951427075 @default.
- W2951427075 hasPrimaryLocation W29514270751 @default.
- W2951427075 hasRelatedWork W1481783499 @default.
- W2951427075 hasRelatedWork W1556311577 @default.
- W2951427075 hasRelatedWork W1556919003 @default.
- W2951427075 hasRelatedWork W1640898018 @default.
- W2951427075 hasRelatedWork W1793944664 @default.
- W2951427075 hasRelatedWork W1820150402 @default.
- W2951427075 hasRelatedWork W1947083798 @default.
- W2951427075 hasRelatedWork W1992202379 @default.
- W2951427075 hasRelatedWork W2027556526 @default.
- W2951427075 hasRelatedWork W2042469880 @default.
- W2951427075 hasRelatedWork W2133867632 @default.
- W2951427075 hasRelatedWork W2151604885 @default.
- W2951427075 hasRelatedWork W2158386061 @default.
- W2951427075 hasRelatedWork W2170626879 @default.
- W2951427075 hasRelatedWork W2288075471 @default.
- W2951427075 hasRelatedWork W2794370785 @default.
- W2951427075 hasRelatedWork W2906034782 @default.
- W2951427075 hasRelatedWork W3101262381 @default.
- W2951427075 hasRelatedWork W3141387928 @default.
- W2951427075 hasRelatedWork W800882761 @default.
- W2951427075 isParatext "false" @default.
- W2951427075 isRetracted "false" @default.
- W2951427075 magId "2951427075" @default.