Vi utökar π-kalculus med polyadisk synkronisering, en generalisering av kommunikationsmekanismen som tillåter kanalnamn att vara sammansatta. Vi visar att denna operatör inbäddar fint i teorin om π-kalculus, vi föreslår att det tillåter divergensfria kodningar av distribuerade kalkyler, och vi visar att en begränsad form av polyadisk synkronisering kan kodas svagt i π-kalculus. Efter att ha visat att matchning inte kan härledas i π-calculus, jämför vi expressiviteten av polyadic synkronisering, blandat val och matchning. I synnerhet visar vi att graden av synkronisering av ett språk ökar dess uttryckskraft genom en separation resulterar i stilen av Palamidessi resultat för blandat val.  ACM CCS-kategorier och
I REF Carbone och Maffeis undersöks den uttryckskraft som en π-calculus med polyadic synkronisering har, vilket är en generalisering av kommunikationsmekanismen i π-calculus som gör det möjligt för kanalnamn att vara sammansatta, som adresserna i Homer.
On the Expressive Power of Polyadic Synchronisation in pi-calculus
{'venue': 'Nord. J. Comput.', 'journal': None, 'mag_field_of_study': ['Computer Science', 'Mathematics']}