等价性在旁观者眼中
软件工程
2007-05-23 v1
摘要
在最近一篇引人深思的论文中,Lamport 通过时序公式证明同一直观算法的两种不同分解的等价性,指出“进程的非实体性”。我们指出算法正确的等价性本身也在旁观者眼中。我们讨论若干相关问题,尤其是算法能否被直接证明等价。
引用
@article{arxiv.cs/9810023,
title = {Equivalence is in the Eye of the Beholder},
author = {Yuri Gurevich and James K. Huggins},
journal= {arXiv preprint arXiv:cs/9810023},
year = {2007}
}
备注
See also the ASM web site at http://www.eecs.umich.edu/gasm/