On the expressive power of polyadic synchronisation in π-calculus (0)

by M Carbone, S Maffeis
Venue:Nordic Journal of Computing