Xavier Rebeuf, G. Satriano, Françoise Simonot-Lion. A Distributed Algorithm for the Validation of Timed State Machines. In Alain Bui, Hacène Fouchal, editors, Procedings of the 6th International Conference on Principles of Distributed Systems. OPODIS 2002, Reims, France, December 11-13, 2002. Volume 3 of Studia Informatica Universalis, pages 95-106, Suger, Saint-Denis, rue Catulienne, France, 2002.
Abstract is missing.