Marco Carbone Sergio Maffeis On the Expressive Power of Polyadic Synchronisation in pi-calculus. 70-98 2003 10 Nord. J. Comput. 2 db/journals/njc/njc10.html#CarboneM03