有人使用证明助手来证明类型化过程演算的可靠性吗？

Question

...他们是否在我可以阅读的地方发布了结果？

Answer 1

啊，有稳健的进程演算大卫N.Turner论文的皮克特编程语言背后的证明。

Answer 2

有几个人沿着这些线路做事。翻阅约翰Rushbie的 PVS 网站的论文，看的勒柯克的论文。

Citeseer 可能会做一些好的太多 - 几乎每个人现在发布的预印本到Citeseer，所以稍微环顾四周，通常会得到你同样的纸，或者一些非常非常相似，发表在杂志上昂贵的纸张。

Answer 3

这 正式证明档案 在其目录中列出的“过程演算”类别中有多个条目 主题, ，例如 CCS 和 Pi 微积分。