文献

J-GLOBAL ID：201302265274273885   整理番号：13A0754681

確率時間共有変数言語のための表示的意味論

Denotational Semantics for a Probabilistic Timed Shared-Variable Language

著者 (4件)： ZHU Huibiao (East China Normal Univ., Shanghai, CHN) ,  SANDERS Jeff W. (African Inst. for Mathematical Sci., Muizenberg, ZAF) ,  HE Jifeng (East China Normal Univ., Shanghai, CHN) ,  QIN Shengchao (Univ. Teesside, Middlesbrough, GBR)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 7681  ページ： 224-247  発行年： 2013年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
発行国： ドイツ (DEU)  言語： 英語 (EN)

タイトルに関連する用語 (5件)： 確率 ,  共有 ,  変数 ,  言語 ,  表示的意味論