Matches in SemOpenAlex for { <https://semopenalex.org/work/W2182201061> ?p ?o ?g. }
- W2182201061 endingPage "125" @default.
- W2182201061 startingPage "102" @default.
- W2182201061 abstract "Unique decomposition has been a subject of interest in process algebra for a long time (for example in BPP [1] or CCS [2], [3]), as it provides a normal form and useful cancellation properties. We provide two parallel decomposition results for subsets of the applied π-calculus: we show that every closed normed (i.e. with a finite shortest complete trace) process P can be decomposed uniquely into prime factors Pi with respect to strong labeled bisimilarity, i.e. such that P∼lP1|…|Pn. Moreover, we prove that closed finite processes can be decomposed uniquely with respect to weak labeled bisimilarity. We also investigate whether efficient algorithms that compute the unique decompositions exist. The simpler problem of deciding whether a process is in its unique decomposition form is undecidable in general in both cases, due to potentially undecidable equational theories. Moreover, we show that the unique decomposition remains undecidable even given an equational theory with a decidable word problem." @default.
- W2182201061 created "2016-06-24" @default.
- W2182201061 creator A5005219814 @default.
- W2182201061 creator A5039396196 @default.
- W2182201061 creator A5087551010 @default.
- W2182201061 creator A5024799131 @default.
- W2182201061 date "2016-01-01" @default.
- W2182201061 modified "2023-10-15" @default.
- W2182201061 title "On the existence and decidability of unique decompositions of processes in the applied π-calculus" @default.
- W2182201061 cites W144241110 @default.
- W2182201061 cites W1496973032 @default.
- W2182201061 cites W1501776715 @default.
- W2182201061 cites W1503973138 @default.
- W2182201061 cites W1571378841 @default.
- W2182201061 cites W1973054120 @default.
- W2182201061 cites W2005880313 @default.
- W2182201061 cites W2013672985 @default.
- W2182201061 cites W2075040560 @default.
- W2182201061 cites W2091938608 @default.
- W2182201061 cites W2116286831 @default.
- W2182201061 cites W2116976042 @default.
- W2182201061 cites W2119820724 @default.
- W2182201061 cites W2128932399 @default.
- W2182201061 cites W2132282999 @default.
- W2182201061 cites W2166878486 @default.
- W2182201061 cites W2167019232 @default.
- W2182201061 cites W2189381394 @default.
- W2182201061 cites W2259436857 @default.
- W2182201061 cites W2288004153 @default.
- W2182201061 cites W2953245114 @default.
- W2182201061 cites W57605931 @default.
- W2182201061 cites W656343110 @default.
- W2182201061 doi "https://doi.org/10.1016/j.tcs.2015.11.033" @default.
- W2182201061 hasPublicationYear "2016" @default.
- W2182201061 type Work @default.
- W2182201061 sameAs 2182201061 @default.
- W2182201061 citedByCount "3" @default.
- W2182201061 countsByYear W21822010612016 @default.
- W2182201061 countsByYear W21822010612017 @default.
- W2182201061 countsByYear W21822010612018 @default.
- W2182201061 crossrefType "journal-article" @default.
- W2182201061 hasAuthorship W2182201061A5005219814 @default.
- W2182201061 hasAuthorship W2182201061A5024799131 @default.
- W2182201061 hasAuthorship W2182201061A5039396196 @default.
- W2182201061 hasAuthorship W2182201061A5087551010 @default.
- W2182201061 hasBestOaLocation W21822010612 @default.
- W2182201061 hasConcept C118615104 @default.
- W2182201061 hasConcept C124681953 @default.
- W2182201061 hasConcept C136119220 @default.
- W2182201061 hasConcept C138885662 @default.
- W2182201061 hasConcept C153269930 @default.
- W2182201061 hasConcept C161771561 @default.
- W2182201061 hasConcept C18903297 @default.
- W2182201061 hasConcept C192034797 @default.
- W2182201061 hasConcept C202444582 @default.
- W2182201061 hasConcept C33923547 @default.
- W2182201061 hasConcept C41008148 @default.
- W2182201061 hasConcept C41895202 @default.
- W2182201061 hasConcept C75291252 @default.
- W2182201061 hasConcept C80444323 @default.
- W2182201061 hasConcept C86803240 @default.
- W2182201061 hasConcept C90988201 @default.
- W2182201061 hasConcept C94375191 @default.
- W2182201061 hasConceptScore W2182201061C118615104 @default.
- W2182201061 hasConceptScore W2182201061C124681953 @default.
- W2182201061 hasConceptScore W2182201061C136119220 @default.
- W2182201061 hasConceptScore W2182201061C138885662 @default.
- W2182201061 hasConceptScore W2182201061C153269930 @default.
- W2182201061 hasConceptScore W2182201061C161771561 @default.
- W2182201061 hasConceptScore W2182201061C18903297 @default.
- W2182201061 hasConceptScore W2182201061C192034797 @default.
- W2182201061 hasConceptScore W2182201061C202444582 @default.
- W2182201061 hasConceptScore W2182201061C33923547 @default.
- W2182201061 hasConceptScore W2182201061C41008148 @default.
- W2182201061 hasConceptScore W2182201061C41895202 @default.
- W2182201061 hasConceptScore W2182201061C75291252 @default.
- W2182201061 hasConceptScore W2182201061C80444323 @default.
- W2182201061 hasConceptScore W2182201061C86803240 @default.
- W2182201061 hasConceptScore W2182201061C90988201 @default.
- W2182201061 hasConceptScore W2182201061C94375191 @default.
- W2182201061 hasFunder F4320320883 @default.
- W2182201061 hasLocation W21822010611 @default.
- W2182201061 hasLocation W21822010612 @default.
- W2182201061 hasLocation W21822010613 @default.
- W2182201061 hasLocation W21822010614 @default.
- W2182201061 hasLocation W21822010615 @default.
- W2182201061 hasLocation W21822010616 @default.
- W2182201061 hasLocation W21822010617 @default.
- W2182201061 hasOpenAccess W2182201061 @default.
- W2182201061 hasPrimaryLocation W21822010611 @default.
- W2182201061 hasRelatedWork W1501430220 @default.
- W2182201061 hasRelatedWork W1511851241 @default.
- W2182201061 hasRelatedWork W1693995122 @default.
- W2182201061 hasRelatedWork W2021891065 @default.
- W2182201061 hasRelatedWork W2119045600 @default.
- W2182201061 hasRelatedWork W2972379433 @default.
- W2182201061 hasRelatedWork W2989332944 @default.
- W2182201061 hasRelatedWork W3022248317 @default.