Quasiequational system for concurrency
| Project/Area Number |
25330016
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Multi-year Fund |
|---|
| Section | 一般 |
|---|
| Research Field |
Theory of informatics
|
|---|
| Research Institution | Kagoshima University |
|---|
Principal Investigator |
|
|---|
| Research Collaborator |
Struth Georg The University of Sheffield, Department of Computer Science, Professor
|
|---|
| Project Period (FY) |
2013-04-01 – 2017-03-31
|
| Project Status |
Completed (Fiscal Year 2016)
|
| Budget Amount *help |
¥4,940,000 (Direct Cost: ¥3,800,000、Indirect Cost: ¥1,140,000)
Fiscal Year 2016: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Fiscal Year 2015: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Fiscal Year 2014: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Fiscal Year 2013: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
|
|---|
| Keywords | 並行計算 / 準等式系 / 動的論理 / 二項多重関係 |
|---|
| Outline of Final Research Achievements |
The following results on multirelational models and algebraic models of concurrency are obtained.
（１）a sufficient condition for a complete idempotent left semiring to have a natural homomorphic embedding into a complete idempotent left semiring of the set of all binary multirelations on some set, （２）a reconstruction of Peleg's concurrent dynamic logic in the context of modal Kleene algebra, （３）an explicit definition of a domain operation and relationships between subclasses consisting of sequential subidentities, parallel subidentities, terminal elements and nonterminal elements, （４）a sufficient condition for Peleg composition to be associative
|
Report
(5 results)
Research Products
(16 results)
