Twelve papers in concurrency
The papers appearing in the following list are now available via
anonymous ftp
(gzipped postscript).
-
Achilles and the Tortoise Climbing Up the Arithmetical Hierarchy.
-
Timing Analysis of Asynchronous Circuits using Timed Automata.
-
On Syntactic Congruences for Omega-Languages.
-
On the Cascaded Decomposition of Automata, its Complexity and its
application to Logic.
-
On some Relations between Dynamical Systems and Transition Systems.
-
On the Learnability of Infinitary Regular Sets.
-
On the Effects of Noise and Speed on Computations.
-
On the Analysis of Dynamical Systems having Piecewise-Constant
Derivatives.
-
Hybrid Systems and Real-World Computations.
-
Symbolic Controller Synthesis for Discrete and Timed Systems.
-
On the Synthesis of Discrete Controllers for Timed Systems.
-
A Decomposition Theorem for Probabilistic Transition Systems.
The file INDEX in that directory contains short descriptions of the
papers.