On Characterising Distributability
On Characterising Distributability
复制标题
关于表征可分配性
DOI：
10.2168/lmcs-9(3:17)2013
复制
发表时间：
2013
期刊：
影响因子：
--
通讯作者：
Jens-Wolfhard Schicke-Uffmann
中科院分区：
文献类型：
--
作者：
Rob J. van Glabbeek;Ursula Goltz;Jens-Wolfhard Schicke-Uffmann
登录
查看更多内容
嵌入作为语言比较工具：在 CSP 层次结构上
影响因子：
0.6
作者：
F. S. Boer;C. Palamidessi
通讯作者：
C. Palamidessi
DOI：
10.1007/978-3-642-37036-6_23
发表时间：
2013
期刊：
Forschungsberichte, TU Munich
影响因子：
--
作者：
J. Katoen;D. Peled
通讯作者：
D. Peled
将分布式过程计算编码为 LMNtaI
DOI：
--
发表时间：
2008
期刊：
Electronic Notes in Theoretical Computer Science Vol.209
影响因子：
--
作者：
Murayama;K.;Kudo;S.;Sakurai;K.;Mizuno;K.;Kato;N.;Ueda;K.;Ueda K.
通讯作者：
Ueda K.
影响因子：
1.3
作者：
D. Gorla
通讯作者：
D. Gorla
关于在通信顺序过程网络中寻找领导者的对称算法的存在
影响因子：
0.6
作者：
L. Bougé
通讯作者：
L. Bougé