代码之家 › 专栏 › 技术社区 › james woodyatt

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

proof-system

1

james woodyatt · 技术社区 · 17 年前

…他们有没有在我有能力阅读的地方发表研究结果?

3 回复 | 直到 17 年前

1

2

Charlie Martin 17 年前

有几个人在做这些事情。看看约翰·拉什比家的报纸 PVS 站点,并查看 Coq's 论文

搜索 Citeseer 可能也会有一些好处——现在几乎每个人都会向Citeser发布他们的预印本,所以四处看看通常会得到相同的论文,或者非常类似于在昂贵的杂志上发表的论文。

2

1

james woodyatt 17 年前

3

1

Makarius 13 年前

这个 Archive of Formal Proofs 在其列表中列出了“过程计算”类别中的多个条目 topics ,如CCS和Pi演算。