文献

J-GLOBAL ID：201102257789518735   整理番号：11A1895044

確率的な時間共用変数言語に対する操作的意味論と代数的意味論の結合

Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language

著者 (6件)： ZHU Huibiao (Shanghai Key Lab. of Trustworthy Computing, East China Normal Univ., Shanghai 200062, CHN) ,  YANG Fan (Shanghai Key Lab. of Trustworthy Computing, East China Normal Univ., Shanghai 200062, CHN) ,  HE Jifeng (Shanghai Key Lab. of Trustworthy Computing, East China Normal Univ., Shanghai 200062, CHN) ,  BOWEN Jonathan P. (Museophile Ltd., Oak Barn, Sonning Eye, Reading RG4 6TN, GBR) ,  SANDERS Jeff W. (International Inst. for Software Technol., United Nations Univ., Macau SAR, CHN) ,  QIN Shengchao (School of Computing, Teesside Univ., Middlesbrough TS1 3BA, GBR)
資料名： Journal of Logic and Algebraic Programming  (Journal of Logic and Algebraic Programming)
巻： 81  号： 1  ページ： 2-25  発行年： 2012年01月 
JST資料番号： W1593A  ISSN： 1567-8326  資料種別： 逐次刊行物 (A)
発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

タイトルに関連する用語 (6件)： 確率 ,  共用 ,  変数 ,  言語 ,  操作的意味論 ,  意味論