A SOUND ALGORITHM FOR ASYNCHRONOUS SESSION SUBTYPING AND ITS IMPLEMENTATION
A SOUND ALGORITHM FOR ASYNCHRONOUS SESSION SUBTYPING AND ITS IMPLEMENTATION
复制标题
一种完善的异步会话子类型算法及其实现
DOI：
10.23638/lmcs-17(1:20)2021
复制
发表时间：
2021
影响因子：
0.6
通讯作者：
Bravetti Mario
中科院分区：
文献类型：
--
作者：
Bravetti Mario
