Francesco Ranzato . Closures on CPOs form complete lattices. Accepted for publication in Information and Computation . Final manuscript received for publication April 20, 1999. Rance Cleaveland , Zeynep Dayar , Scott A. Smolka , and Shoji Yuen .
Testing preorders for probabilistic processes.
Accepted for publication in Information and Computation . Final manuscript received for publication April 22, 1999. A randomized algorithm for two servers on the line. Accepted for publication in Information and Computation . Final manuscript received for publication April 27, 1999.