Global Principal Typing in Partially Commutative Asynchronous Sessions.

Dimitris Mostrous, Nobuko Yoshida, Kohei Honda

Browse the full ESOP paper archive.