Distributed Time-Asynchronous Automata.

Catalin Dima, Ruggero Lanotte

Browse the full ICTAC paper archive.