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

• Authors:

• Robert Cori;Yves Métivier

• Affiliations:

• -;-

• Venue:
• ICALP '88 Proceedings of the 15th International Colloquium on Automata, Languages and Programming
• Year:
• 1988