Processes as Types : A Generic Framework of Behavioral Type Systems for Concurrent Processes

Processes as Types : A Generic Framework of Behavioral Type Systems for Concurrent Processes
复制标题

进程作为类型:并发进程的行为类型系统的通用框架

DOI：
--
复制
发表时间：
2005
期刊：
Proc. of the 4th International Workshop on the Foundations of Coordination Languages and Software Architectures
影响因子：
--
通讯作者：
Atsushi Igarashi
Atsushi Igarashi
中科院分区：
--
文献类型：
--
作者：
Kouhei Sakurai;Atsushi Igarashi;Futoshi Iwama;Kouhei Sakurai;Atsushi Igarashi;Futoshi Iwama;Atsushi Igarashi;四野見秀明;古川陽;櫻井孝平;神尾貴博;Atsushi Igarashi;Tetsuo Tamai;Hideaki Shinomi;Toshihiko Tsumaki;Naoyasu Ubayashi;Yoshiyuki Mihara;Hidehiko Masuhara;四野見秀明;森山元喜;篠塚卓;黒田滋樹;中島震;大根田裕一;青谷知幸;遠藤侑介;Yudai Yamazaki;Tomoyuki Aotani;Ysuke Endoh;Atsushi Igarashi

文献摘要

相似文献