On Urgency in Asynchronous Timed Session Types
On Urgency in Asynchronous Timed Session Types
复制标题
关于异步定时会话类型的紧急性
DOI：
10.48550/arxiv.1810.02472
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
Murgia Maurizio
中科院分区：
文献类型：
--
作者：
Murgia Maurizio
登录
查看更多内容
CTA 的进步保持改进
DOI：
--
发表时间：
2018
期刊：
--
影响因子：
--
作者：
Massimo Bartoletti
通讯作者：
Massimo Bartoletti
DOI：
10.1145/1328438.1328472
发表时间：
2008-01
期刊：
--
影响因子：
--
作者：
Kohei Honda;N. Yoshida;Marco Carbone
通讯作者：
Kohei Honda;N. Yoshida;Marco Carbone
DOI：
--
发表时间：
2006
期刊：
International Conference on Computer Aided Verification
影响因子：
--
作者：
P. Krcál;W. Yi
通讯作者：
W. Yi
定时会话类型
DOI：
--
发表时间：
2017
期刊：
Log. Methods Comput. Sci.
影响因子：
--
作者：
Massimo Bartoletti;Tiziana Cimoli;Maurizio Murgia
通讯作者：
Maurizio Murgia
使用 Diogenes 开发诚实的 Java 程序
DOI：
10.1007/978-3-319-39570-8_4
发表时间：
2016
期刊：
ArXiv
影响因子：
--
作者：
Nicola Atzei;Massimo Bartoletti
通讯作者：
Massimo Bartoletti