The full version of this announcement is available.
The following concurrency related CWI reports are now available via the web page .
They are also available via anonymous ftp in the ftp directory .
Short abstracts of these reports can be found in the full version of this announcement.
N.A. Lynch and F.W. VaandragerAction Transducers and Timed Automata
Technical report CS-R9460, CWI Amsterdam, 1994.
C. Bonini, W.J. Fokkink and A. LeschA reference model for teleconferencing systems
Technical report CS-R9502, CWI Amsterdam, 1995.
J.J.M.M. RuttenA Calculus of Transition Systems (towards universal coalgebra)
Technical report CS-R9503, CWI Amsterdam, 1995.
F.W. VaandragerVerification of a distributed summation algorithm
Technical report CS-R9505, CWI Amsterdam, 1995.
J.J.M.M. RuttenElements of Generalized Ultrametric Domain Theory
Technical report CS-R9507, CWI Amsterdam, 1995.