文献

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)

タイトルに関連する用語 (3件)： 確率過程 ,  拡大 ,  バイシミュレーション