[L3] ================================================ AMAST Links 02 05

             New Technical Reports relating to Concurrency
                            CWI, Amsterdam

   The full version of this announcement is available at URL:
   http://www.cs.utwente.nl/data/amast/links/v02/i05/full/AC0205L3.txt

  The following concurrency related CWI reports are now available via
the web page at URL: http://www.cwi.nl/cwi/publications/index.html
  They are also available via anonymous ftp in the _ftp directory_ at
URL: ftp://ftp.cwi.nl/pub/CWIreports/AP/
  Short abstracts of these reports can be found in the full version of
this announcement.

   N.A. Lynch and F.W. Vaandrager
      Action Transducers and Timed Automata
      Technical report CS-R9460, CWI Amsterdam, 1994.

   C. Bonini, W.J. Fokkink and A. Lesch
      A reference model for teleconferencing systems
      Technical report CS-R9502, CWI Amsterdam, 1995.

   J.J.M.M. Rutten
      A Calculus of Transition Systems (towards universal coalgebra)
      Technical report CS-R9503, CWI Amsterdam, 1995.

   F.W. Vaandrager
      Verification of a distributed summation algorithm
      Technical report CS-R9505, CWI Amsterdam, 1995.

   J.J.M.M. Rutten
      Elements of Generalized Ultrametric Domain Theory
      Technical report CS-R9507, CWI Amsterdam, 1995.