5 papers:
ICALP-v2-2010-LanesePSS #calculus #communication #higher-order #on the #process- On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi (IL, JAP, DS, AS), pp. 442–453.
CIKM-2008-ChiZGZ #personalisation #probability #recommendation- Probabilistic polyadic factorization and its application to personalized recommendation (YC, SZ, YG, YZ), pp. 941–950.
PPDP-2006-BundgaardS #graph #π-calculus- Typed polyadic π-calculus in bigraphs (MB, VS), pp. 1–12.
FoSSaCS-2000-Merro #calculus #locality- Locality and Polyadicity in Asynchronous Name-Passing Calculi (MM), pp. 238–251.
POPL-1993-Gay #algorithm #π-calculus- A Sort Inference Algorithm for the Polyadic π-Calculus (SJG), pp. 429–438.
