並行プログラム検証体系のためのダイナミック論理の拡張
スポンサーリンク
概要
著者
関連論文
- プログラムの検証と完備な述語のクラス(計算機構に関する数学的基礎理論とその応用)
- 非決定性プログラムの全面的正当性 (形式言語理論とオートマトン理論)
- 並行論理型言語の意味領域としてのガード付きストリーム : 意味論的および構文的同値関係について
- 相互通信逐次型プロセス系のデッドロックフリ-性の検証
- 相互通信逐次型プロセス系の検証(計算機科学の基礎理論とその応用)
- 相互通信逐次型プロセス系の部分的正当性検証体系
- 並行プログラム検証体系のためのダイナミック論理の拡張