Higher Order Communication Processes with Value-Passing, Assignment and Return of Results.

Dominique Bolignano, Mourad Debbabi

Browse the full ISAAC paper archive.