Study on the theory of concurrent systems with code streaming
Project/Area Number |
24500016
|
Research Category |
Grant-in-Aid for Scientific Research (C)
|
Allocation Type | Multi-year Fund |
Section | 一般 |
Research Field |
Fundamental theory of informatics
|
Research Institution | Okayama University |
Principal Investigator |
|
Project Period (FY) |
2012-04-01 – 2015-03-31
|
Project Status |
Completed (Fiscal Year 2014)
|
Budget Amount *help |
¥2,470,000 (Direct Cost: ¥1,900,000、Indirect Cost: ¥570,000)
Fiscal Year 2014: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Fiscal Year 2013: ¥650,000 (Direct Cost: ¥500,000、Indirect Cost: ¥150,000)
Fiscal Year 2012: ¥650,000 (Direct Cost: ¥500,000、Indirect Cost: ¥150,000)
|
Keywords | 並行計算 / プロセス代数 / 計算モデル / 並行計算モデル / 高階ストリーム型通信 / グラフ書換系 / コンテクストラベル |
Outline of Final Research Achievements |
In recent years, it is common to send and receive programs using the internet. The capability of sending/receiving of program codes during the computation is represented using the notion of higher-order communication. The design, analysis and verification of the system with higher-order communication is not easy with the methods for the softwares that are executed on one closed computer system. A formal model of concurrent system that is equipped with capabilities of non-atomic higher-order communication is presented. The model is based on a graph rewriting system. We defined an equivalence relation on the model and showed that the equivalence is a congruent.
|
Report
(4 results)
Research Products
(9 results)