Separating Sessions Smoothly
Separating Sessions Smoothly
复制标题
顺利地分开会议
DOI：
--
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
Simon Fowler
中科院分区：
文献类型：
--
作者：
Simon Fowler
登录
查看更多内容
DOI：
10.1016/j.tcs.2006.06.028
发表时间：
2006-12
期刊：
Theor. Comput. Sci.
影响因子：
--
作者：
V. Vasconcelos;S. Gay;A. Ravara
通讯作者：
V. Vasconcelos;S. Gay;A. Ravara
标签相关的会话类型
DOI：
--
发表时间：
2019
期刊：
Proc. ACM Program. Lang.
影响因子：
--
作者：
Peter Thiemann;V. Vasconcelos
通讯作者：
V. Vasconcelos
从内在语义到外在语义的类型含义
DOI：
--
发表时间：
2000
期刊：
影响因子：
--
作者：
J. C. Reynolds
通讯作者：
J. C. Reynolds
一致性概括了二元性：多方会话类型的逻辑解释
DOI：
10.4230/lipics.concur.2016.33
发表时间：
2016
期刊：
ArXiv
影响因子：
--
作者：
Marco Carbone;S. Lindley;F. Montesi;C. Schürmann;P. Wadler
通讯作者：
P. Wadler
DOI：
--
发表时间：
2013
期刊：
European Symposium on Programming
影响因子：
--
作者：
Bernardo Toninho;Luís Caires;F. Pfenning
通讯作者：
F. Pfenning