Affiliation: | (1) Department of Computer Science and Electrical Engineering, The University of Vermont, 05405 Burlington, VT, U.S.A.;(2) Laboratoire d'Informatique Théorique et de Programmation, Université Paris VI et CNRS, Tour 55-65, 4 place Jussieu, 75230 Paris Cedex 05, France |