Bibliography

B

Egon Börger, ``Logic Programming: The Evolving Algebra Approach'', in [PS].

BG

Andreas Blass and Yuri Gurevich, ``Evolving Algebras and Linear Time Hierarchy'', in [PS].

BGR

Egon Börger, Yuri Gurevich and Dean Rosenzweig, ``The Bakery Algorithm: Yet Another Specification and Verification'', this volume.

BR

Egon Börger and Dean Rosenzweig, ``The WAM - Definition and Compiler Correctness'', to appear in ``Logic Programming: Formal Methods and Practical Applications'', Eds. C. Beierle and L. Pluemer, North-Holland, 1994.

G1

Yuri Gurevich, ``Logic and the challenge of computer science", In ``Current Trends in Theoretical Computer Science", Ed. E. Börger, Computer Science Press, 1988, 1-57.

G2

Yuri Gurevich, ``Evolving Algebras: An Attempt to Discover Semantics ", Bull. EATCS 43 (1991), 264-284; a slightly revised version in ``Current Trends in Theoretical Computer Science'', Eds. G. Rozenberg and A. Salomaa, World Scientific, 1993, 266-292.

GH

Yuri Gurevich and James K. Huggins, ``The Semantics of the C Programming Language'', Springer Lecture Notes in Computer Science 702, 1993, 274-308.

GM

Yuri Gurevich and Raghu Mani, ``Group Membership Protocol: Formal Specification and Verification'', this volume.

GR

Paola Glavan and Dean Rosenzweig, ``Communicating Evolving Algebras'', in ``Computer Science Logic'', eds. E. Börger et al., Lecture Notes in Computer Science 702, Springer, 1993, 182-215.

H

James K. Huggins, ``Kermit: Specification and Verification'', this volume.

KP

Shmuel Katz and Doron Peled, ``Defining Conditional Independence Using Collapses'', Theoretical Computer Science 101 (1992), 337-359.

L

Leslie Lamport, ``On Interprocess Communication'', Distributed Computing 1 (1986), 77-101.

Mt

Yuri Matijasevich, ``Enumerable sets are Diophantine'', Soviet Math. Doklady 11:2 (1970), 354-358.

Mz

Antoni Mazurkiewicz, ``Trace Theory'', Springer Lecture Notes in Computer Science 255 (1987), 279-324.

PS

B. Pehrson and I. Simon, Editors, ``IFIP 13th World Computer Congress 1994, Volume I: Technology/Foundations'', Elsevier, Amsterdam, to appear.

R

Dean Rosenzweig, Private Communication.