文献
J-GLOBAL ID:201802241645365493
整理番号:18A1596148
Erlangの可逆性の理論【JST・京大機械翻訳】
A theory of reversibility for Erlang
著者 (4件):
Lanese Ivan
(Focus Team, University of Bologna/INRIA, Mura Anteo Zamboni, 7, Bologna, Italy)
,
Nishida Naoki
(Graduate School of Informatics, Nagoya University, Furo-cho, Chikusa-ku, 4648603 Nagoya, Japan)
,
Palacios Adrian
(MiST, DSIC, Universitat Politecnica de Valencia, Camino de Vera, s/n, 46022 Valencia, Spain)
,
Vidal German
(MiST, DSIC, Universitat Politecnica de Valencia, Camino de Vera, s/n, 46022 Valencia, Spain)
資料名:
Journal of Logical and Algebraic Methods in Programming
(Journal of Logical and Algebraic Methods in Programming)
巻:
100
ページ:
71-97
発行年:
2018年
JST資料番号:
W1593A
ISSN:
2352-2208
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
オランダ (NLD)
言語:
英語 (EN)