Honesty by Typing
Honesty by Typing
复制标题
打字诚实
DOI：
10.2168/lmcs-12(4:7)2016
复制
发表时间：
2017
影响因子：
0.6
通讯作者：
Bartoletti M
中科院分区：
文献类型：
--
作者：
Bartoletti M
登录
查看更多内容
DOI：
10.1145/1328438.1328472
发表时间：
2008-01
期刊：
--
影响因子：
--
作者：
Kohei Honda;N. Yoshida;Marco Carbone
通讯作者：
Kohei Honda;N. Yoshida;Marco Carbone
具有左合并和通信合并的CCS有限方程基
DOI：
--
发表时间：
2006
期刊：
TOCL
影响因子：
--
作者：
L. Aceto;W. Fokkink;A. Ingólfsdóttir;B. Luttik
通讯作者：
B. Luttik
会话类型的基础知识
影响因子：
1
作者：
V. Vasconcelos
通讯作者：
V. Vasconcelos
影响因子：
1
作者：
Cécé, G;Finkel, A
通讯作者：
Finkel, A
定时会话类型中的合规性和子类型
DOI：
--
发表时间：
2015
期刊：
Formal Techniques for (Networked and) Distributed Systems
影响因子：
--
作者：
Massimo Bartoletti;Tiziana Cimoli;Maurizio Murgia;Alessandro Sebastian Podda;Livio Pompianu
通讯作者：
Livio Pompianu