Gian-Luigi Ferrari
-
On the expressive power of polyadic synchronisation in π-calculus
Nordic Journal of Computing