文献
J-GLOBAL ID:201102226911897162
整理番号:11A0818612
確率過程のための非拡大型ε{三日月型}バイシミュレーション
Non-expansive ε{lunate}-bisimulations for probabilistic processes
著者 (1件):
TINI S.
(Universita dell’Insubria, Como, ITA)
資料名:
Theoretical Computer Science
(Theoretical Computer Science)
巻:
411
号:
22-24
ページ:
2202-2222
発行年:
2010年
JST資料番号:
T0022A
ISSN:
0304-3975
CODEN:
TCSDIQ
資料種別:
逐次刊行物 (A)
発行国:
オランダ (NLD)
言語:
英語 (EN)