Races in Extended Input/Ouput Automata, Their Compositions and Related Reactive Systems.

Evgenii M. Vinarskii, Natalia Kushik, Nina Yevtushenko, Jorge Lpez, Djamal Zeghlache

Browse the full ENASE paper archive.