論文

査読有り
2019年2月

Towards Bidirectional Synchronization between Communicating Processes and Session Types

SFDI2019: Second Workshop on Software Foundations for Data Interoperability (In proceedings of 2019 IEEE International Conference on Big Data and Smart Computing (BigComp))
  • Liye Guo
  • ,
  • Hsiang-Shang Ko
  • ,
  • Keigo Imai
  • ,
  • Nobuko Yoshida
  • ,
  • Zhenjiang Hu

開始ページ
1
終了ページ
5
記述言語
英語
掲載種別
研究論文(国際会議プロシーディングス)
DOI
10.1109/BIGCOMP.2019.8679265

リンク情報
DOI
https://doi.org/10.1109/BIGCOMP.2019.8679265