Matches in SemOpenAlex for { <https://semopenalex.org/work/W4221143810> ?p ?o ?g. }
Showing items 1 to 51 of
51
with 100 items per page.
- W4221143810 abstract "This paper shows that the $pi$-calculus with implicit matching is no more expressive than CCS$gamma$, a variant of CCS in which the result of a synchronisation of two actions is itself an action subject to relabelling or restriction, rather than the silent action $tau$. This is done by exhibiting a compositional translation from the $pi$-calculus with implicit matching to CCS$gamma$ that is valid up to strong barbed bisimilarity. The full $pi$-calculus can be similarly expressed in CCS$gamma$ enriched with the triggering operation of Meije. I also show that these results cannot be recreated with CCS in the role of CCS$gamma$, not even up to reduction equivalence, and not even for the asynchronous $pi$-calculus without restriction or replication. Finally I observe that CCS cannot be encoded in the $pi$-calculus." @default.
- W4221143810 created "2022-04-03" @default.
- W4221143810 creator A5048229897 @default.
- W4221143810 date "2022-03-22" @default.
- W4221143810 modified "2023-09-26" @default.
- W4221143810 title "Comparing the expressiveness of the $pi$-calculus and CCS" @default.
- W4221143810 doi "https://doi.org/10.48550/arxiv.2203.11519" @default.
- W4221143810 hasPublicationYear "2022" @default.
- W4221143810 type Work @default.
- W4221143810 citedByCount "0" @default.
- W4221143810 crossrefType "posted-content" @default.
- W4221143810 hasAuthorship W4221143810A5048229897 @default.
- W4221143810 hasBestOaLocation W42211438101 @default.
- W4221143810 hasConcept C11413529 @default.
- W4221143810 hasConcept C118615104 @default.
- W4221143810 hasConcept C199343813 @default.
- W4221143810 hasConcept C199360897 @default.
- W4221143810 hasConcept C2776235265 @default.
- W4221143810 hasConcept C2777686260 @default.
- W4221143810 hasConcept C2780069185 @default.
- W4221143810 hasConcept C2984882572 @default.
- W4221143810 hasConcept C33923547 @default.
- W4221143810 hasConcept C41008148 @default.
- W4221143810 hasConcept C71924100 @default.
- W4221143810 hasConceptScore W4221143810C11413529 @default.
- W4221143810 hasConceptScore W4221143810C118615104 @default.
- W4221143810 hasConceptScore W4221143810C199343813 @default.
- W4221143810 hasConceptScore W4221143810C199360897 @default.
- W4221143810 hasConceptScore W4221143810C2776235265 @default.
- W4221143810 hasConceptScore W4221143810C2777686260 @default.
- W4221143810 hasConceptScore W4221143810C2780069185 @default.
- W4221143810 hasConceptScore W4221143810C2984882572 @default.
- W4221143810 hasConceptScore W4221143810C33923547 @default.
- W4221143810 hasConceptScore W4221143810C41008148 @default.
- W4221143810 hasConceptScore W4221143810C71924100 @default.
- W4221143810 hasLocation W42211438101 @default.
- W4221143810 hasOpenAccess W4221143810 @default.
- W4221143810 hasPrimaryLocation W42211438101 @default.
- W4221143810 hasRelatedWork W1603799276 @default.
- W4221143810 hasRelatedWork W2114695894 @default.
- W4221143810 hasRelatedWork W2163278217 @default.
- W4221143810 hasRelatedWork W2171350732 @default.
- W4221143810 hasRelatedWork W2294166185 @default.
- W4221143810 hasRelatedWork W2794370785 @default.
- W4221143810 hasRelatedWork W2951546131 @default.
- W4221143810 hasRelatedWork W4226108737 @default.
- W4221143810 hasRelatedWork W4289049428 @default.
- W4221143810 hasRelatedWork W612959659 @default.
- W4221143810 isParatext "false" @default.
- W4221143810 isRetracted "false" @default.
- W4221143810 workType "article" @default.