Papers

Peer-reviewed

Feb, 2019

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

First page: 1
Last page: 5
Language: English
Publishing type: Research paper (international conference proceedings)
DOI: 10.1109/BIGCOMP.2019.8679265
Publisher: IEEE

Link information

DOI: https://doi.org/10.1109/BIGCOMP.2019.8679265
Research Projects: Session-typed programming in unreliable communication environment
URL: http://xplorestaging.ieee.org/ielx7/8671661/8678915/08679265.pdf?arnumber=8679265

ID information

DOI : 10.1109/BIGCOMP.2019.8679265
ISSN : 2375-9356

Export: BibTeX RIS