Equivalence is in the eye of the beholder

DOI10.1016/S0304-3975(96)00315-5zbMath0901.68125MaRDI QIDQ1391750

Yuri Gurevich, James K. Huggins

Publication date: 22 July 1998

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

verificationformal methodsdistributed algorithmsspecificationevolving algebras

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Cites Work

• Processes are in the eye of the beholder
• Communicating sequential processes
• Evolving Algebras 1993: Lipari Guide
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Equivalence is in the eye of the beholder