文献
J-GLOBAL ID:201702258305790811
整理番号:17A0299344
区間作用接頭辞を用いたπ計算の拡張【Powered by NICT】
Extension of π-Calculus with Interval Action Prefixes
著者 (3件):
Luo Ling
(Institute of Computing Theory and Technology, Xidian University)
,
Duan Zhenhua
(Institute of Computing Theory and Technology, Xidian University)
,
Tian Cong
(Institute of Computing Theory and Technology, Xidian University)
資料名:
Dianzi Xuebao
(Dianzi Xuebao)
巻:
25
号:
5
ページ:
848-857
発行年:
2016年
JST資料番号:
C2814A
ISSN:
1022-4653
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
中国 (CHN)
言語:
英語 (EN)