[S4] ================================================ AMAST Links 02 08

                     WWW Page on Evolving Algebras

  I have the pleasure to announce a new WWW page on evolving algebras,
_Evolving Algebras Europe_, which is now available at URL:
http://www.uni-paderborn.de/cs/eas.html
  This is in addition to the existing evolving algebra WWW page at the
University of Michigan at URL:
http://www.eecs.umich.edu/ealgebras/ 
  Both evolving algebra pages offer relevant information on current
research and upcoming events. Moreover, they also provide access to
written material addressing theoretical foundations, applied systems
analysis, and tool support.
  Evolving algebras have been used with considerable success for the
specification and verification of various kinds of discrete dynamic
systems including architectures, languages, and protocols of
sequential, distributed, and real-time systems.
  Uwe Glaesser, glaesser@uni-paderborn.de