2014 Fiscal Year Final Research Report
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
|
| 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.
|
| Free Research Field |
情報学基礎
|
