文献
J-GLOBAL ID:201702280569017633
整理番号:17A1548386
セッション型の再検討【Powered by NICT】
Session types revisited
著者 (3件):
Dardha Ornela
(School of Computing Science, University of Glasgow, United Kingdom)
,
Giachino Elena
(INRIA Focus Team / DISI, University of Bologna, Italy)
,
Sangiorgi Davide
(INRIA Focus Team / DISI, University of Bologna, Italy)
資料名:
Information and Computation
(Information and Computation)
巻:
256
ページ:
253-286
発行年:
2017年
JST資料番号:
D0449A
ISSN:
0890-5401
CODEN:
INFCEC
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
オランダ (NLD)
言語:
英語 (EN)