On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi.

Ivan Lanese, Jorge A. Prez, Davide Sangiorgi, Alan Schmitt

Browse the full ICALP paper archive.