• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Foundamental Study on Fundational Model of Concurrent Computation

Research Project

Project/Area Number 02680020
Research Category

Grant-in-Aid for General Scientific Research (C)

Allocation TypeSingle-year Grants
Research Field Informatics
Research InstitutionNagoya University

Principal Investigator

SAKABE Toshiki  Nagoya Univ., Faculty of Eng., Associate Professor, 工学部, 助教授 (60111829)

Co-Investigator(Kenkyū-buntansha) YUEN Shoji  Nagoya Univ., Faculty of Eng., Research Associate, 工学部, 助手 (70230612)
SAKAI Masahiko  Nagoya Univ., Faculty of Eng., Research Associate, 工学部, 助手 (50215597)
NAOI Tohru  Gifu Univ., Faculty of Eng., Associate Professor, 工学部, 助教授 (10207699)
HIRATA Tomio  Nagoya Univ., Faculty of Eng., Associate Professor, 工学部, 助教授 (10144205)
INAGAKI Yasuyoshi  Nagoya Univ., Faculty of Eng., Professor, 工学部, 教授 (10023079)
Project Period (FY) 1990 – 1991
Project Status Completed (Fiscal Year 1991)
Budget Amount *help
¥1,700,000 (Direct Cost: ¥1,700,000)
Fiscal Year 1991: ¥600,000 (Direct Cost: ¥600,000)
Fiscal Year 1990: ¥1,100,000 (Direct Cost: ¥1,100,000)
Keywordsconcurrent computation / Functional computation model / CCS / broadcast / narrowing / concurrent process / term rewriting system / dynamic term rewriting calculas / 並行プロセス / 動的項書換 / 論理型計算モデル / 同期通信
Research Abstract

The purpose of this research project is to develop a functional model of concurrent computation based on narrowing such that we can analyze and verify concurrent programs by using rewriting techniques.
The results we obtained in the research project are as follows.
We first proposed a computation model called Dynamic Term Rewriting Calculus (DTRC, for short). It is a preliminary version of our target model. DTRC has features such as dynamically changing rewrite rules during computation and hierarchically declaring function symbols, variables and rewrite rules. We obtained fundamental results on confluency and termination of DTRC terms.
We also investigated the theory of process algebras and proposed two extensions of CCS. One is CCS with limit values. It has term rewriting systems as the mechanism for defining (possibly limit) values and has the feature of branching by a limit value. We gave a semantics for the extended CCS by introducing a new concept of test precision. The other extension is CCS with broadcast (called CCS+b). It formalizes broadcast which is characterized with one-to-many communication and nondeterministic communication in receiving signals. We obtained commutativity and associativity lows for choice and parallel composition operators, and expansion low. These lows are useful for analyzing processes.
We studied tree pattern matching and found a parallel algorithm for tree pattern matching which improved the algorithm of Ramesh et al. in time and space.

Report

(3 results)
  • 1991 Annual Research Report   Final Research Report Summary
  • 1990 Annual Research Report
  • Research Products

    (27 results)

All Other

All Publications (27 results)

  • [Publications] 結縁 祥治: "メッセ-ジ書換えによるCCSの値受渡しについて" 電子情報通信学会技術研究報告. COMP91ー9. 79-87 (1991)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] 馮 速: "動的項書換え計算モデルとその応用" 電子情報通信学会技術研究報告. COMP91ー47. 31-40 (1991)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] 今井 裕二: "ブロ-ドキャスト型通信機構を追加したCCS" 電子情報通信学会技術研究報告. COMP91ー49. 51-57 (1991)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] 結縁 祥治: "通信プロセスにおける値による条件分岐機構について" 電子情報通信学会技術研究報告. COMP91ー69. 91-69 (1991)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] 酒井 正彦: "代数的仕様の検証のための初覆集合帰納法" 電子情報通信学会論文誌.

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] 太郎良 浩次: "木パタ-ンマッチングのための並列アルゴリズム" 電子情報通信学会論文誌.

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] 山本 隆洋(分担執筆): "Distributed Environments,(Y.Ohno(Ed.))" SpringerーVerlag, 322(65-78) (1991)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] Shoji YUEN, Toshiki SAKABE and Yasuyoshi INAGAKI: "Passing Valuse in CCS by Rewriting Messages" Technical Research Report of IEICE. COMP91-9. 79-87 (1991)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] Fen SU, Toshiki SAKABE and Yasuyoshi INAGAKI: "Dynamic Term Rewriting Calculus and Its Application" Technical Research Report of IEICE. COMP91-47. 31-40 (1991)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] Yuji IMAI, Shoji YUEN, Toshiki SAKABE and Yasuyoshi INGAKI: "CCS+b : Calculus of Communicating Systems with Broadcasting" Technical Research Report of IEICE. COMP91-49. 51-57 (1991)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] Shoji YUEN, Toshiki SAKABE and Yasuyoshi INAGAKI: "A Mechanism for Branching by Values in Communicating Processes" Technical Research Report of IEICE. COMP91-69. 11-20 (1991)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] Masahiko SAKAI, Toshiki SAKABE and Yasuyoshi INAGAKI: "Proving Method of Inductive Properties of Algebraic Specifications" Transactions of IEICE.

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] Kouji TAROHRA, Tomio HIRATA and Yasuyoshi INAGAKI: "Parallel Algorithm for Tree Pattern Matching" Transactions of IEICE.

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] Takahiro YAMAMOTO, Toshiki SAKABE and Yasuyoshi INAGAKI: "Hybrid Language of C and Equations C==" Distributed Environments. Springer-Verlag. 65-78 (1991)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] 結縁 祥治: "メッセ-ジ書換えによるCCSの値受渡しについて" 電子情報通信学会技術研究報告. COMP91ー9. 79-87 (1991)

    • Related Report
      1991 Annual Research Report
  • [Publications] 馮 速: "動的項書換え計算モデルとその応用" 電子情報通信学会技術研究報告. COMP91ー47. 31-40 (1991)

    • Related Report
      1991 Annual Research Report
  • [Publications] 今井 裕二: "ブロ-ドキャスト型通信機構を追加したCCS" 電子情報通信学会技術研究報告. COMP91ー49. 51-57 (1991)

    • Related Report
      1991 Annual Research Report
  • [Publications] 結縁 祥治: "通信プロセスにおける値による条件分岐機構について" 電子情報通信学会技術研究報告. COMP91ー69. 91-69 (1991)

    • Related Report
      1991 Annual Research Report
  • [Publications] 酒井 正彦: "代数的仕様の検証のための被覆集合帰納法" 電子情報通信学会論文誌.

    • Related Report
      1991 Annual Research Report
  • [Publications] 太郎良 浩次: "木パタ-ンマッチングのための並列アルゴリズム" 電子情報通信学会論文誌.

    • Related Report
      1991 Annual Research Report
  • [Publications] Y.Ohno(Ed.),山本 隆洋(分担執筆): "Distributed Environments" SpringerーVerlag, 322 (1991)

    • Related Report
      1991 Annual Research Report
  • [Publications] 結縁 祥治: "CCSによるモニタの動作の形式的記述" 電子情報通信学会論文誌. J73ーDーI. 683-692 (1990)

    • Related Report
      1990 Annual Research Report
  • [Publications] 酒井 正彦: "代数的仕様記述法に基づく言語処理系の自動生成システム" 電子情報通信学会論文誌. J73ーDーI. 829-838 (1990)

    • Related Report
      1990 Annual Research Report
  • [Publications] 酒井 正彦: "代数的仕様の検証のための被服集合帰納法" 電子情報通信学会技術研究報告. COMP90ー5. 37-46 (1990)

    • Related Report
      1990 Annual Research Report
  • [Publications] 結縁 祥治: "CCSlcond:等式によって値の意味と導入したCCS" 電子情報通信学会技術研究報告. COMP90ー10. 11-19 (1990)

    • Related Report
      1990 Annual Research Report
  • [Publications] 山本 晋一郎: "並列分散TRSシミュレ-タの実現方法について" 情報処理学会研究報告. 91ーSFー38. 1-9 (1991)

    • Related Report
      1990 Annual Research Report
  • [Publications] 島谷 隆司: "グラフの推移的閉包をオンラインで計算するアルゴリズム" 電子情報通信学会論文誌. J73ーDーI. 705-706 (1990)

    • Related Report
      1990 Annual Research Report

URL: 

Published: 1990-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi