文献
J-GLOBAL ID:201802273301330261
整理番号:18A0393894
非同期成分のための行動意味論【Powered by NICT】
Behavioural semantics for asynchronous components
著者 (5件):
Ameur-Boulifa R.
(LTCI, Telecom ParisTech, Univ. Paris-Saclay, 75013, Paris, France)
,
Henrio L.
(Universite Cote d’Azur, CNRS, I3S, France)
,
Kulankhina O.
(Universite Cote d’Azur, Inria, CNRS, I3S, France)
,
Madelaine E.
(Universite Cote d’Azur, Inria, CNRS, I3S, France)
,
Savu A.
(Universite Cote d’Azur, Inria, CNRS, I3S, France)
資料名:
Journal of Logical and Algebraic Methods in Programming
(Journal of Logical and Algebraic Methods in Programming)
巻:
89
ページ:
1-40
発行年:
2017年
JST資料番号:
W1593A
ISSN:
2352-2208
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
オランダ (NLD)
言語:
英語 (EN)