Session-typed programming in unreliable communication environment
Session-typed programming in unreliable communication environment
不可靠通信环境下的会话式编程
批准号：
17K12662
负责人：
Imai Keigo
金额：
$2.58万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Young Scientists (B)
财政年份：
2017
资助国家：
日本
项目状态：
已结题
起止时间：
2017-04-01 至 2022-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(37)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
Kmclib
克姆库
克姆库
DOI：
--
发表时间：
期刊：
影响因子：
--
作者：
[]
通讯作者：
DOI：
10.1007/978-3-030-59025-3_5
发表时间：
2020-09
期刊：
影响因子：
--
作者：
[O. Kiselyov;Keigo Imai]
通讯作者：
O. Kiselyov;Keigo Imai
セッション型、簡潔に
基于会话，简洁
基于会话，简洁
DOI：
--
发表时间：
2019
期刊：
影响因子：
--
作者：
[オレッグ キセリョーヴ, 今井 敬吾]
通讯作者：
今井 敬吾
DOI：
10.4230/darts.6.2.18
发表时间：
2020-05
期刊：
ArXiv
影响因子：
--
作者：
[Keigo Imai;R. Neykova;N. Yoshida;Shoji Yuen]
通讯作者：
Keigo Imai;R. Neykova;N. Yoshida;Shoji Yuen
混合選択とタイムアウトで拡張されたマルチパーティセッション型の軽量検査
通过混合选择和超时增强多方会话类型的轻量级检查
通过混合选择和超时增强多方会话类型的轻量级检查
DOI：
--
发表时间：
2021
期刊：
影响因子：
--
作者：
[Keigo Imai, Rumyana Neykova, Nobuko Yoshida, Shoji Yuen, 今井敬吾]
通讯作者：
今井敬吾
共 28 条
海外基金