Towards Bidirectional Synchronization Between Communicating Processes and Session Types.
https://doi.org/10.1109/BIGCOMP.2019.8679265
@inproceedings{DBLP:conf/bigcomp/GuoKIYH19,
author = {Liye Guo and
Hsiang{-}Shang Ko and
Keigo Imai and
Nobuko Yoshida and
Zhenjiang Hu},
title = {Towards Bidirectional Synchronization Between Communicating Processes
and Session Types},
booktitle = {{IEEE} International Conference on Big Data and Smart Computing, BigComp
2019, Kyoto, Japan, February 27 - March 2, 2019},
pages = {1--5},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/BIGCOMP.2019.8679265},
doi = {10.1109/BIGCOMP.2019.8679265},
timestamp = {Fri, 27 Dec 2019 21:23:41 +0100},
biburl = {https://dblp.org/rec/conf/bigcomp/GuoKIYH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
本页面没有标签