文献
J-GLOBAL ID:201702246236262759
整理番号:17A0887300
WS-CDLコレオグラフィの形式的モデル化と検証のためのπ計算の利用【Powered by NICT】
Using π-calculus for Formal Modeling and Verification of WS-CDL Choreographies
著者 (2件):
Khaled Adel
(Department Of Electrical & Computer Engineering, Univeristy Of Alberta, Ecerf W2-034, 9107-116 Street, Edmonton, AB, Canada)
,
Miller James
(Department Of Electrical & Computer Engineering, Univeristy Of Alberta, Ecerf W2-034, 9107-116 Street, Edmonton, AB, Canada)
資料名:
IEEE Transactions on Services Computing
(IEEE Transactions on Services Computing)
巻:
10
号:
2
ページ:
316-327
発行年:
2017年
JST資料番号:
W2437A
ISSN:
1939-1374
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)