Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt. On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi. In Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul G. Spirakis, editors, Automata, Languages and Programming, 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II. Volume 6199 of Lecture Notes in Computer Science, pages 442-453, Springer, 2010. [doi]
Abstract is missing.