......他们是否已经将结果公布在我能负担得起的地方？
答案 0 :(得分：2)
有几个人沿着这些方向做事。查看John Rushbie的PVS网站上的论文，并查看Coq's篇论文。
搜索Citeseer也可能会有一些好处 - 现在几乎所有人都会将他们的预印本发布给Citeseer，所以稍微环顾一下就会得到同样的论文，或者与昂贵的论文非常相似的东西轴颈。
答案 1 :(得分：1)
啊，在David N.Turner的论文中，对于Pict编程语言的过程演算有充分的证明。
答案 2 :(得分：1)
Archive of Formal Proofs在其topics中列出的“过程计算”类别中有多个条目，例如CCS和Pi微积分。