Abstrakt. Vi ger en divergensfri kodning av polyadic Local i dess monadiska variant. Local är en sub-kalculus av asynkrona -kalculus där mottagarna av en kanal är lokala för den process som har skapat kanalen. Vi bevisar kodning helt abstrakt med avseende på taggad kongruens. Detta innebär att i Local (i) polyadicity inte tillför extra uttryckskraft, och (ii) när du studerar teorin om polyadic Local kan vi fokusera på den enklare monadiska varianten. Sedan visar vi hur idén om vår kodning kan anpassas till namnpasserande kalkyl med icke-bindande indata före x, såsom Chi, Fusion och F calculi.
I REF ger vi en kodning av polyadiska Lπ till monadiska Lπ.
Locality and Polyadicity in Asynchronous Name-Passing Calculi
{'venue': 'FoSSaCS', 'journal': None, 'mag_field_of_study': ['Computer Science']}