Added 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. (LaTeX
Added a discussion of semantics-preserving transformations
(including a pass separation transformation) which may be performed
on evolving algebras. (PostScript).
Added a presentation of a
simple, 9-line Prolog interpreter for evolving algebras. (PostScript)
The authors also have a
discussing their work, including source code.
Added a link to an announcement of a
short course on evolving algebras
to be held at the Department of Computer Science of the University
of Aarhus, during 7--11 August 1995.