文献
J-GLOBAL ID:202202226392415506
整理番号:22A1091925
非決定性選択によるフォークジョインプロセスの定量的研究:状態空間の統計的探索への応用【JST・京大機械翻訳】
A quantitative study of fork-join processes with non-deterministic choice: Application to the statistical exploration of the state-space
著者 (3件):
Genitrini Antoine
(Sorbonne Universite, CNRS, Laboratoire d’Informatique de Paris 6, LIP6 - UMR 7606, F-75005 Paris, France)
,
Pepin Martin
(Sorbonne Universite, CNRS, Laboratoire d’Informatique de Paris 6, LIP6 - UMR 7606, F-75005 Paris, France)
,
Peschanski Frederic
(Sorbonne Universite, CNRS, Laboratoire d’Informatique de Paris 6, LIP6 - UMR 7606, F-75005 Paris, France)
資料名:
Theoretical Computer Science
(Theoretical Computer Science)
巻:
912
ページ:
1-36
発行年:
2022年
JST資料番号:
T0022A
ISSN:
0304-3975
CODEN:
TCSDIQ
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
オランダ (NLD)
言語:
英語 (EN)