The geometry of concurrent interaction: Handling multiple ports by way of multiple tokens.

Ugo Dal Lago, Ryo Tanaka, Akira Yoshimizu

Browse the full LICS paper archive.