Ugo Dal Lago, Ryo Tanaka, Akira Yoshimizu. The Geometry of Concurrent Interaction: Handling Multiple Ports by Way of Multiple Tokens.
LICS 2017 - Thirty-Second Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2017, Reykjavik, Iceland.
〈hal-01639411〉