Abstrakt. I detta dokument presenterar vi ett enhetligt tillvägagångssätt för att utvärdera processens relativa uttryckskraft. I synnerhet identifierar vi en liten uppsättning kriterier (som redan på något sätt har presenterats i litteraturen) som en kodning bör uppfylla för att anses vara ett bra sätt att jämföra språk. Vi hävdar att kombinationen av sådana kriterier är ett giltigt förslag genom att notera att: (i) de mest kända kodningarna dök upp i litteraturen uppfyller dem; (ii) detta begrepp är inte trivialt, eftersom det finns kodningar som inte uppfyller alla de kriterier som vi har föreslagit; (iii) de mest kända separationsresultaten kan formuleras enligt våra kriterier; och (iv) vissa allmänt trodde (men aldrig formellt bevisat) separationsresultat kan bevisas genom att använda de kriterier vi föreslår. Dessutom är det sätt på vilket vi bevisar kända separationsresultat lättare och mer enhetligt än det sätt på vilket sådana resultat ursprungligen bevisats.
För att uppnå sådana resultat har vi utnyttjat den uppsättning kriterier som presenteras och diskuteras i REF.
Towards a unified approach to encodability and separation results for process calculi
{'venue': 'Proc. of 19th International Conference on Concurrency Theory (CONCUR’08), number 5201 in LNCS', 'journal': None, 'mag_field_of_study': ['Computer Science']}