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