Robert Cori, Yves Métivier. Approximation of a TRace, Asynchronous Automata and the Ordering of Events in a Distributed System. In Timo Lepistö, Arto Salomaa, editors, Automata, Languages and Programming, 15th International Colloquium, ICALP88, Tampere, Finland, July 11-15, 1988, Proceedings. Volume 317 of Lecture Notes in Computer Science, pages 147-161, Springer, 1988.
Abstract is missing.