Liye Guo, Hsiang-Shang Ko, Keigo Imai, Nobuko Yoshida, Zhenjiang Hu. Towards Bidirectional Synchronization Between Communicating Processes and Session Types. In IEEE International Conference on Big Data and Smart Computing, BigComp 2019, Kyoto, Japan, February 27 - March 2, 2019. pages 1-5, IEEE, 2019. [doi]
Abstract is missing.