A New Type System for Deadlock-Free Processes

A New Type System for Deadlock-Free Processes
复制标题

一种新型无死锁进程系统

DOI：
--
复制
发表时间：
2006
期刊：
Proceedings of the 17th International Conference on Concurrency Theory(CONCUR'06) 4137
影响因子：
--
通讯作者：
小林直樹
小林直樹
中科院分区：
--
文献类型：
--
作者：
Naoki Kobayashi;Kohei Suenaga;Lucian Wischik;小林直樹

文献摘要

相似文献