Structuring Communication with Session Types

by Kohei Honda, Raymond Hu, Rumyana Neykova, Tzu-chun Chen, Nobuko Yoshida