"Distributed Event Clock Automata - Extended Abstract."

James Jerson Ortiz, Axel Legay, Pierre-Yves Schobbens (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics