誰かが型付きプロセス計算の健全性を証明するために証拠補助を使用しましたか？

Question

...そして、私はそれらを読む余裕があるところで結果を発表しましたか？

Answer 1

ああ、David N.Turnerの論文のPictプログラミング言語の基礎をなすプロセス計算のための健全性の証拠があります。

Answer 2

これらの行には何人かの人がいます。 John RushbieのPVSサイトの記事を見て、Coq'sの記事を見てください。

Citeseerを検索すると、たぶん誰もがプレプリントをCiteseerに公開することになります。ちょっと調べてみると、普通は高価な雑誌に掲載された論文と同じようなものになります。

Answer 3

Archive of Formal Proofsには、 "Process Calculi"カテゴリのいくつかのエントリが、topicsに記載されています（CCSやPi Calculusなど）。