ACM/IEEE Logic in Computer Science, LICS 2017


Article Details
Title: The geometry of concurrent interaction: Handling multiple ports by way of multiple tokens
Article URLs:
Alternative Article URLs:
Authors: Ugo Dal Lago
  • Universita di Bologna
  • INRIA Sophia Antipolis
Ryo Tanaka
  • The University of Tokyo
Akira Yoshimizu
  • The University of Tokyo
Sharing: Unknown
Verification: Authors have not verified information
Artifact Evaluation Badge: none
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key: conf/lics/LagoTY17
Author Comments:

Discuss this paper and its artifacts below