| 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)
|
|---|
| 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
|
