A Distributed Algorithm for the Validation of Timed State Machines.

Xavier Rebeuf, G. Satriano, Franoise Simonot-Lion

Browse the full OPODIS paper archive.