Equivalence is in the eye of the beholder

Theoretical Computer Science

Volumn 179, Issue 1-2, 1997, Pages 353-380

  Gurevich, Yuri ^a   Huggins, James K ^a  

^a University of Michigan   (United States)

Author keywords

Distributed algorithms; Evolving algebras; Formal methods; Specification; Verification

Indexed keywords

ALGEBRA; ALGORITHMS; FORMAL LOGIC; THEOREM PROVING;

INTUITIVE ALGORITHMS; TEMPORAL FORMULAS;

EQUIVALENCE CLASSES;

EID: 0031167899     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(96)00315-5     Document Type: Article

References (14)

1. E. Börger, Annotated Bibliography on Evolving Algebras, in: E. Börger, ed., Specification and Validation Methods (Oxford University Press, Oxford, 1995) 37-51.
2. E. Börger and I. Durdanović, Correctness of compiling Occam to transputer code, Comput. J. 39 (1996) 52-92.
3. E. Börger and D. Rosenzweig, The WAM - definition and compiler correctness, in: L.C. Beierle and L. Pluemer, eds., Logic Programming: Formal Methods and Practical Applications, North-Holland Series in Computer Science and Artificial Intelligence (North-Holland, Amsterdam, 1994).
4. Y. Gurevich, Logic and the challenge of computer science, in: E. Börger, ed., Current Trends in Theoretical Computer Science (Computer Science Press, Rockville, MD, 1988) 1-57.
5. Y. Gurevich, Evolving algebras: an attempt to discover semantics, in: G. Rozenberg and A. Salomaa, eds., Current Trends in Theoretical Computer Science (World Scientific, Singapore, 1993) 266-292. (First published in Bull. EATCS 57 (1991) 264-284; an updated version appears in [10].)
6. Y. Gurevich, Evolving algebras: an attempt to discover semantics, in: G. Rozenberg and A. Salomaa, eds., Current Trends in Theoretical Computer Science (World Scientific, Singapore, 1993) 266-292. (First published in Bull. EATCS 57 (1991) 264-284; an updated version appears in [10].)
7. Y. Gurevich, Evolving algebras 1993: Lipari guide, in: ed., E. Börger, Specification and Validation Methods (Oxford Univ. Press, Oxford, 1995) 9-36.
8. Y. Gurevich, Platonism, constructivism, and computer proofs vs. proofs by hand, Bull. EATCS 57 (1995) 145-166.
9. Y. Gurevich and J. Huggins, The semantics of the C programming language, in: Selected papers from CSL'92 (Computer Science Logic), Lecture Notes in Computer Science, Vol. 702 (Springer, Berlin, 1993) 274-308.
10. C.A.R. Hoare, Communicating sequential processes, Comm. ACM 21 (1978) 666-667.
11. J. Huggins, ed., Evolving algebras home page, EECS Department, University of Michigan, http://www.eecs.umich.edu/ealgebras/.
12. L. Lamport, How to write a proof, Research Report 94, Digital Equipment Corporation, Systems Research Center, February 1993; Am. Math. Monthly, to appear.
13. L. Lamport, The temporal logic of actions, ACM Trans. Programming Languages Systems 16 (1994) 872-923.
14. L. Lamport, Processes are in the eye of the beholder, Theoret. Comput. Sci. 179 (this Vol.) (1997) 333-351.