<< Partial Order Reduction for Verification of Spatial Properties of Pi-Calculus Processes | ホーム | Proving Thread Termination >>

A Chart Semantics for the Pi-Calculus

π計算の意味論を図的に定義しようという論文。実行系列の図的表現ではなく、図を使って意味を定義しているところが新しい。垂直方向にプロセスの状態、水平方向にメッセージ通信を記述する。数式表現に比べれば直観的にわかりやすいことと、履歴が一緒に表現されることが利点として主張されている。Chart Semantics と通常の Reduction Semantics の関係についても議論している。

author="Johannes Borgstroem and Andrew D. Gordon and Andrew Phillips",
title="{A Chart Semantics for the Pi-Calculus}",
booktitle="EXPRESS 2007",
year="2007"

タグ : ,



コメント追加 トラックバック送信