Equivalence

Citation:	Yuri Gurevich and James K. Huggins, "Equivalence Is In The Eye Of The Beholder," Theoretical Computer Science (179) 1-2 (1997), 353--380.
Summary:	A response to a paper of Leslie Lamport, "Processes are in the Eye of the Beholder". We discuss how the same two algorithms may and may not be considered equivalent. In addition, we give a direct proof of an appropriate equivalence of two particular algorithms considered by Lamport.
Subjects:	Distributed Systems, Verification
Download:	PostScript, PDF, Compressed PostScript
Notes:

[an error occurred while processing this directive]

Abstract State Machines