Approximation of a TRace, Asynchronous Automata and the Ordering of Events in a Distributed System.

Robert Cori, Yves Mtivier

Browse the full ICALP paper archive.