The Different Shades of Infinite Session Types
The Different Shades of Infinite Session Types
复制标题
无限会话类型的不同色调
DOI：
10.48550/arxiv.2201.08275
复制
发表时间：
2022
期刊：
影响因子：
--
通讯作者：
Gay S
中科院分区：
文献类型：
--
作者：
Gay S
登录
查看更多内容
在所有状态均为最终状态、初始状态或两者兼而有之的 NFA 上
影响因子：
1.1
作者：
Jui;N. Rampersad;J. Shallit
通讯作者：
J. Shallit
标签相关的会话类型
DOI：
--
发表时间：
2019
期刊：
Proc. ACM Program. Lang.
影响因子：
--
作者：
Peter Thiemann;V. Vasconcelos
通讯作者：
V. Vasconcelos
通过直觉线性类型理论的依赖会话类型
影响因子：
5.2
作者：
Bernardo Toninho;Luís Caires;F. Pfenning
通讯作者：
F. Pfenning
会话类型的基础知识
影响因子：
1
作者：
V. Vasconcelos
通讯作者：
V. Vasconcelos
确定性上下文无关语言
影响因子：
--
作者：
S. Ginsburg;S. Greibach
通讯作者：
S. Greibach