Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

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: