154 followers
Structuring Communication With Session Types (2014) : Kohei Honda and Raymond Hu and Rumyana Neykova and Tzu-Chun Chen and Romain Demangeon and Pierre-Malo Deni{\'e}lou and Nobuko Yoshida DOI: https://t.co/Dz0ZkODVY1 #__important #my_bibtex