Timed Transition Tour for Race Detection in Distributed Systems.

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

Browse the full ENASE paper archive.