文献

J-GLOBAL ID：201702258305790811   整理番号：17A0299344

区間作用接頭辞を用いたπ計算の拡張【Powered by NICT】

Extension of π-Calculus with Interval Action Prefixes

著者 (3件)： Luo Ling (Institute of Computing Theory and Technology, Xidian University) ,  Duan Zhenhua (Institute of Computing Theory and Technology, Xidian University) ,  Tian Cong (Institute of Computing Theory and Technology, Xidian University)
資料名： Dianzi Xuebao  (Dianzi Xuebao)
巻： 25  号： 5  ページ： 848-857  発行年： 2016年 
JST資料番号： C2814A  ISSN： 1022-4653  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 中国 (CHN)  言語： 英語 (EN)

抄録/ポイント： p-πと命名したπ計算間隔作用プレフィックスの拡張を示した。p-πの構文と操作的意味論を定式化し,代数的および時間依存特性を定義した。それらに基づいて,システムの時間依存性挙動は,p-πでモデル化できるかを示した。最後に,p-πを実際に使用されるかを説明する事例研究。Data from the ScienceChina, LCAS. Translated by JST【Powered by NICT】

シソーラス用語： 操作的意味論 ,  モデリング ,  定式化 ,  事例研究 ,  代数学 ,  *時間依存性
準シソーラス用語： 構文 ,  *π計算 , 【Automatic Indexing@JST】

著者キーワード (5件)： π計算 ,  プロセス代数 ,  区間作用プレフィックス ,  Specification ,  検証

分類 (1件)： 計算理論  (JB02000A)

タイトルに関連する用語 (2件)： π計算 ,  拡張