文献
J-GLOBAL ID:201902252152558589
整理番号:19A2276746
高次セッション過程の相対表現性について【JST・京大機械翻訳】
On the relative expressiveness of higher-order session processes
著者 (3件):
Kouzapas Dimitrios
(University of Cyprus, Nicosia, Cyprus)
,
Perez Jorge A.
(University of Groningen & CWI, Amsterdam, the Netherlands)
,
Yoshida Nobuko
(Imperial College London, UK)
資料名:
Information and Computation
(Information and Computation)
巻:
268
ページ:
Null
発行年:
2019年
JST資料番号:
D0449A
ISSN:
0890-5401
CODEN:
INFCEC
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
オランダ (NLD)
言語:
英語 (EN)