<< Detecting Structural Refactoring Conflicts Using Critical Pair Analysis | ホーム | A Chart Semantics for the Pi-Calculus >>

Partial Order Reduction for Verification of Spatial Properties of Pi-Calculus Processes

π計算のプロセスの spatial property について partial order reduction する話。partial order reduction が可能な論理式のクラスを明らかにしている。

author="Reynald Affeldt and Naoki Kobayashi",
title="{Partial Order Reduction for Verification of Spatial Properties of Pi-Calculus Processes}",
booktitle="EXPRESS 2004",
publisher="Elsevier",
volume="128",
series="ENTCS",
pages="151--168",
year="2005"

タグ : ,



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