Geometry of interaction 2: deadlock-free algorithms

Geometry of interaction 2: deadlock-free algorithms
复制标题

交互几何2:无死锁算法

DOI:
--
复制
发表时间:
1990
期刊:
Conference on Computer Logic
影响因子:
--
通讯作者:
J. Girard
J. Girard
中科院分区:
--
文献类型:
--
作者:
J. Girard

文献摘要

被引文献

相似文献