Matches in SemOpenAlex for { <https://semopenalex.org/work/W2088886977> ?p ?o ?g. }
- W2088886977 endingPage "1189" @default.
- W2088886977 startingPage "1161" @default.
- W2088886977 abstract "Priority is a frequently used feature of many computational systems. In this paper we study the expressiveness of two process algebras enriched with different priority mechanisms. In particular, we consider a finite (that is, recursion-free) fragment of asynchronous CCS with global priority (FAP, for short) and Phillips' CPG (CCS with local priority), and contrast their expressive power with that of two non-prioritised calculi, namely the π-calculus and its broadcast-based version, called bπ. We prove, by means of leader-election-based separation results, that, under certain conditions, there exists no encoding of FAP in π-Calculus or CPG. Moreover, we single out another problem in distributed computing, which we call the last man standing problem (LMS for short), that better reveals the gap between the two prioritised calculi above and the two non-prioritised ones, by proving that there exists no parallel-preserving encoding of the prioritised calculi in the non-prioritised calculi retaining any sincere (complete but partially correct, that is, admitting divergence or premature termination) semantics." @default.
- W2088886977 created "2016-06-24" @default.
- W2088886977 creator A5000720054 @default.
- W2088886977 creator A5034923258 @default.
- W2088886977 creator A5071501129 @default.
- W2088886977 date "2009-12-01" @default.
- W2088886977 modified "2023-09-23" @default.
- W2088886977 title "An expressiveness study of priority in process calculi" @default.
- W2088886977 cites W1499291621 @default.
- W2088886977 cites W1514757685 @default.
- W2088886977 cites W1531089277 @default.
- W2088886977 cites W1555701181 @default.
- W2088886977 cites W1561085604 @default.
- W2088886977 cites W1591694044 @default.
- W2088886977 cites W1979323524 @default.
- W2088886977 cites W1997561697 @default.
- W2088886977 cites W2013672985 @default.
- W2088886977 cites W202252014 @default.
- W2088886977 cites W2028079360 @default.
- W2088886977 cites W2028448192 @default.
- W2088886977 cites W2029133311 @default.
- W2088886977 cites W2091938608 @default.
- W2088886977 cites W2098083416 @default.
- W2088886977 cites W2109142454 @default.
- W2088886977 cites W2109585055 @default.
- W2088886977 cites W2128932399 @default.
- W2088886977 cites W2137250214 @default.
- W2088886977 cites W2137865376 @default.
- W2088886977 cites W2151950311 @default.
- W2088886977 cites W2153290650 @default.
- W2088886977 cites W2163123880 @default.
- W2088886977 cites W3124439491 @default.
- W2088886977 cites W4243186596 @default.
- W2088886977 doi "https://doi.org/10.1017/s0960129509990168" @default.
- W2088886977 hasPublicationYear "2009" @default.
- W2088886977 type Work @default.
- W2088886977 sameAs 2088886977 @default.
- W2088886977 citedByCount "14" @default.
- W2088886977 countsByYear W20888869772012 @default.
- W2088886977 countsByYear W20888869772015 @default.
- W2088886977 countsByYear W20888869772017 @default.
- W2088886977 countsByYear W20888869772018 @default.
- W2088886977 countsByYear W20888869772019 @default.
- W2088886977 countsByYear W20888869772020 @default.
- W2088886977 crossrefType "journal-article" @default.
- W2088886977 hasAuthorship W2088886977A5000720054 @default.
- W2088886977 hasAuthorship W2088886977A5034923258 @default.
- W2088886977 hasAuthorship W2088886977A5071501129 @default.
- W2088886977 hasBestOaLocation W20888869772 @default.
- W2088886977 hasConcept C11413529 @default.
- W2088886977 hasConcept C121332964 @default.
- W2088886977 hasConcept C125411270 @default.
- W2088886977 hasConcept C151319957 @default.
- W2088886977 hasConcept C154945302 @default.
- W2088886977 hasConcept C156325763 @default.
- W2088886977 hasConcept C161771561 @default.
- W2088886977 hasConcept C163258240 @default.
- W2088886977 hasConcept C168773036 @default.
- W2088886977 hasConcept C184337299 @default.
- W2088886977 hasConcept C199360897 @default.
- W2088886977 hasConcept C2776235265 @default.
- W2088886977 hasConcept C31258907 @default.
- W2088886977 hasConcept C41008148 @default.
- W2088886977 hasConcept C62520636 @default.
- W2088886977 hasConcept C80444323 @default.
- W2088886977 hasConcept C98045186 @default.
- W2088886977 hasConceptScore W2088886977C11413529 @default.
- W2088886977 hasConceptScore W2088886977C121332964 @default.
- W2088886977 hasConceptScore W2088886977C125411270 @default.
- W2088886977 hasConceptScore W2088886977C151319957 @default.
- W2088886977 hasConceptScore W2088886977C154945302 @default.
- W2088886977 hasConceptScore W2088886977C156325763 @default.
- W2088886977 hasConceptScore W2088886977C161771561 @default.
- W2088886977 hasConceptScore W2088886977C163258240 @default.
- W2088886977 hasConceptScore W2088886977C168773036 @default.
- W2088886977 hasConceptScore W2088886977C184337299 @default.
- W2088886977 hasConceptScore W2088886977C199360897 @default.
- W2088886977 hasConceptScore W2088886977C2776235265 @default.
- W2088886977 hasConceptScore W2088886977C31258907 @default.
- W2088886977 hasConceptScore W2088886977C41008148 @default.
- W2088886977 hasConceptScore W2088886977C62520636 @default.
- W2088886977 hasConceptScore W2088886977C80444323 @default.
- W2088886977 hasConceptScore W2088886977C98045186 @default.
- W2088886977 hasIssue "6" @default.
- W2088886977 hasLocation W20888869771 @default.
- W2088886977 hasLocation W20888869772 @default.
- W2088886977 hasOpenAccess W2088886977 @default.
- W2088886977 hasPrimaryLocation W20888869771 @default.
- W2088886977 hasRelatedWork W134177415 @default.
- W2088886977 hasRelatedWork W1535192306 @default.
- W2088886977 hasRelatedWork W1536150964 @default.
- W2088886977 hasRelatedWork W1566713756 @default.
- W2088886977 hasRelatedWork W1821024690 @default.
- W2088886977 hasRelatedWork W1822357302 @default.
- W2088886977 hasRelatedWork W1853270983 @default.
- W2088886977 hasRelatedWork W1880480814 @default.
- W2088886977 hasRelatedWork W2167838019 @default.
- W2088886977 hasRelatedWork W2601679797 @default.