FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3124580448> ?p ?o ?g. }

• W3124580448 abstract "In the process algebra community it is sometimes suggested that, on some level of abstraction, any distributed system can be modelled in standard process-algebraic specification formalisms like CCS. This sentiment is strengthened by results testifying that CCS, like many similar formalisms, is Turing powerful and provides a mechanism for interaction. This paper counters that sentiment by presenting a simple fair scheduler---one that in suitable variations occurs in many distributed systems---of which no implementation can be expressed in CCS, unless CCS is enriched with a fairness assumption. Since Dekker's and Peterson's mutual exclusion protocols implement fair schedulers, it follows that these protocols cannot be rendered correctly in CCS without imposing a fairness assumption. Peterson expressed this algorithm correctly in pseudocode without resorting to a fairness assumption, so it furthermore follows that CCS lacks the expressive power to accurately capture such pseudocode." @default.
• W3124580448 created "2021-02-01" @default.
• W3124580448 creator A5026224896 @default.
• W3124580448 creator A5048229897 @default.
• W3124580448 date "2015-05-22" @default.
• W3124580448 modified "2023-09-22" @default.
• W3124580448 title "CCS: It's not Fair! Fair Schedulers cannot be implemented in CCS-like languages even under progress and certain fairness assumptions" @default.
• W3124580448 cites W11331111 @default.
• W3124580448 cites W1498342204 @default.
• W3124580448 cites W1503973138 @default.
• W3124580448 cites W1508777689 @default.
• W3124580448 cites W1528659016 @default.
• W3124580448 cites W1562341354 @default.
• W3124580448 cites W1572083989 @default.
• W3124580448 cites W1602114053 @default.
• W3124580448 cites W1602232868 @default.
• W3124580448 cites W1789713128 @default.
• W3124580448 cites W1798280647 @default.
• W3124580448 cites W1868821056 @default.
• W3124580448 cites W1965836809 @default.
• W3124580448 cites W1971607272 @default.
• W3124580448 cites W1986296241 @default.
• W3124580448 cites W1989877393 @default.
• W3124580448 cites W2001026449 @default.
• W3124580448 cites W2006244393 @default.
• W3124580448 cites W2015688007 @default.
• W3124580448 cites W2021990421 @default.
• W3124580448 cites W202252014 @default.
• W3124580448 cites W2023808162 @default.
• W3124580448 cites W2036267700 @default.
• W3124580448 cites W2048671682 @default.
• W3124580448 cites W2060992753 @default.
• W3124580448 cites W2063510765 @default.
• W3124580448 cites W2069672317 @default.
• W3124580448 cites W2079457432 @default.
• W3124580448 cites W2090442591 @default.
• W3124580448 cites W2101725378 @default.
• W3124580448 cites W2102097307 @default.
• W3124580448 cites W2106934908 @default.
• W3124580448 cites W2110430770 @default.
• W3124580448 cites W2113355185 @default.
• W3124580448 cites W2114472265 @default.
• W3124580448 cites W2121029475 @default.
• W3124580448 cites W2121372686 @default.
• W3124580448 cites W2130773382 @default.
• W3124580448 cites W2137865376 @default.
• W3124580448 cites W2141955344 @default.
• W3124580448 cites W2157319504 @default.
• W3124580448 cites W2163123880 @default.
• W3124580448 cites W2167703610 @default.
• W3124580448 cites W2475115995 @default.
• W3124580448 cites W2614621775 @default.
• W3124580448 cites W2951996373 @default.
• W3124580448 cites W3144368627 @default.
• W3124580448 hasPublicationYear "2015" @default.
• W3124580448 type Work @default.
• W3124580448 sameAs 3124580448 @default.
• W3124580448 citedByCount "2" @default.
• W3124580448 countsByYear W31245804482019 @default.
• W3124580448 countsByYear W31245804482021 @default.
• W3124580448 crossrefType "journal-article" @default.
• W3124580448 hasAuthorship W3124580448A5026224896 @default.
• W3124580448 hasAuthorship W3124580448A5048229897 @default.
• W3124580448 hasBestOaLocation W31245804481 @default.
• W3124580448 hasConcept C111472728 @default.
• W3124580448 hasConcept C120314980 @default.
• W3124580448 hasConcept C124304363 @default.
• W3124580448 hasConcept C138885662 @default.
• W3124580448 hasConcept C161771561 @default.
• W3124580448 hasConcept C171018156 @default.
• W3124580448 hasConcept C195818886 @default.
• W3124580448 hasConcept C199360897 @default.
• W3124580448 hasConcept C2524010 @default.
• W3124580448 hasConcept C33923547 @default.
• W3124580448 hasConcept C41008148 @default.
• W3124580448 hasConcept C56348326 @default.
• W3124580448 hasConcept C80444323 @default.
• W3124580448 hasConcept C98045186 @default.
• W3124580448 hasConcept C9870796 @default.
• W3124580448 hasConceptScore W3124580448C111472728 @default.
• W3124580448 hasConceptScore W3124580448C120314980 @default.
• W3124580448 hasConceptScore W3124580448C124304363 @default.
• W3124580448 hasConceptScore W3124580448C138885662 @default.
• W3124580448 hasConceptScore W3124580448C161771561 @default.
• W3124580448 hasConceptScore W3124580448C171018156 @default.
• W3124580448 hasConceptScore W3124580448C195818886 @default.
• W3124580448 hasConceptScore W3124580448C199360897 @default.
• W3124580448 hasConceptScore W3124580448C2524010 @default.
• W3124580448 hasConceptScore W3124580448C33923547 @default.
• W3124580448 hasConceptScore W3124580448C41008148 @default.
• W3124580448 hasConceptScore W3124580448C56348326 @default.
• W3124580448 hasConceptScore W3124580448C80444323 @default.
• W3124580448 hasConceptScore W3124580448C98045186 @default.
• W3124580448 hasConceptScore W3124580448C9870796 @default.
• W3124580448 hasLocation W31245804481 @default.
• W3124580448 hasOpenAccess W3124580448 @default.
• W3124580448 hasPrimaryLocation W31245804481 @default.
• W3124580448 hasRelatedWork W1598256597 @default.
• W3124580448 hasRelatedWork W1868821056 @default.
• W3124580448 hasRelatedWork W1986296241 @default.

• next