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

情報処理学会 Web Site 被引用文献1件 参考文献9件

書誌事項

タイトル別名
  • 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.

収録刊行物

被引用文献 (1)*注記

もっと見る

参考文献 (9)*注記

もっと見る

キーワード

詳細情報 詳細情報について

問題の指摘

ページトップへ