Multiparty Session Programming with Global Protocol Combinators

被引:0
作者
Neykova, Rumyana [1 ]
机构
[1] Brunel Univ London, Uxbridge, England
来源
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2020年 / 322期
关键词
D O I
暂无
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
引用
收藏
页码:12 / 12
页数:1
相关论文
empty
未找到相关数据