線形論理を用いた逐次型プロセスの並列実行

• 村上, 昌己

書誌事項

タイトル別名

• センケイ ロンリ オ モチイタ チクジガタ プロセス ノ ヘイレツ ジッコウ
• Parallel Execution of Sequential Process Using Linear Logic

抄録

本稿では逐次的に実行される部分を含む並行プロセスを並列実行する方法について考察する. ここで対象とする並行プロセスは線形論理で記述されたものであり その操作的意味論はLK風のシークエント計算の推論規則によって記述される. 本稿ではこの体系に並列実行のための規則として プロセス定義の展開のための規則と値を将来実行される部分に伝搬して分岐を枝刈りするための規則を導入する. これらのプロセスの並列実行のための規則を用いた推論が 線形論理におけるシークエント計算での証明の枠組みの中で記述できることを示す. またこれらの規則を用いた並列実行に対して 同等な計算とみなせる逐次実行が存在することを示す.

This paper presents a method for parallel execution of sequential processes that are represented using linear logic. The operational semantics of processes are provided as a set of inference rules of sequent calculus as LK. A rule for unfolding of process definitions and a rule for pruning of branches and forward propagation of values are introduced. Inference using these new rules for parallel execution of processes is represented as a proof of linear logic. This paper also shows that for every parallel execution there exists an equivalent sequential execution.

収録刊行物

• 情報処理学会論文誌プログラミング（PRO）

  情報処理学会論文誌プログラミング（PRO） 40 (SIG04(PRO3)), 11-20, 1999-05-15

  東京 : 情報処理学会

キーワード

• 通常論文

詳細情報

• CRID: 1050564287845125376
• NII論文ID: 110002725031
• NII書誌ID: AA11464814
• ISSN: 18827802
• ISSN: 03875806
• NDL書誌ID: 5692543
• Web Site: http://id.nii.ac.jp/1001/00017002/
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I5692543
• 本文言語コード: ja
• 資料種別: article
• データソース種別:
  • IRDB
  • NDL
  • CiNii Articles