Abstrakt. Prioritet är ett vanligt förekommande inslag i många beräkningssystem. I den här artikeln studerar vi hur uttrycksfulla två processalgebras är berikade med olika prioriterade mekanismer. I synnerhet betraktar vi en ändlig (dvs. Recursion-free) fragment av asynkron CCS med global prioritet (FAP, för kort) och Phillips CPG (CCS med lokal prioritet), och vi jämför deras uttryckskraft med den av två icke-prioriterade calculi, nämligen π-calculus och dess sändningsbaserade version, som kallas bπ. Vi bevisar, med hjälp av ledare-val-baserade separationsresultat, att det inte finns någon kodning av FAP till π-Calculus eller CPG, på vissa villkor. Dessutom pekar vi ut ett annat problem i distribuerade datorer, vi kallar den sista mannen stående problem (LMS för kort), som bättre avslöjar klyftan mellan de två prioriterade kalkyl ovan och de två icke prioriterade, genom att bevisa att det inte finns någon parallellbevarande kodning av den prioriterade kalkyl i den icke-prioriterade calculi behålla någon uppriktig (fullständig men delvis korrekt, dvs erkänna skillnader eller för tidigt avslutande) semantik.
Även Ref studerar två processalgebras berikade med olika prioriterade mekanismer.
On the expressive power of global and local priority in process calculi
{'venue': 'In Luís Caires and Vasco Thudichum Vasconcelos, editors, CONCUR, volume 4703 of Lecture Notes in Computer Science', 'journal': None, 'mag_field_of_study': ['Computer Science']}