[L7] ================================================ AMAST Links 02 07

                     Twelve papers in concurrency

  The papers appearing in the following list are now available via
anonymous ftp (gzipped postscript) from URL:

   ftp://ftp.imag.fr/imag/SPECTRE/ODED/ 

 o  Achilles and the Tortoise Climbing Up the Arithmetical Hierarchy.
 o  Timing Analysis of Asynchronous Circuits using Timed Automata.
 o  On Syntactic Congruences for Omega-Languages.
 o  On the Cascaded Decomposition of Automata, its Complexity and its
    application to Logic.
 o  On some Relations between Dynamical Systems and Transition Systems.
 o  On the Learnability of Infinitary Regular Sets.
 o  On the Effects of Noise and Speed on Computations.
 o  On the Analysis of Dynamical Systems having Piecewise-Constant 
    Derivatives.
 o  Hybrid Systems and Real-World Computations.
 o  Symbolic Controller Synthesis for Discrete and Timed Systems.
 o  On the Synthesis of Discrete Controllers for Timed Systems.
 o  A Decomposition Theorem for Probabilistic Transition Systems.

  The file INDEX in that directory contains short descriptions of the 
papers.