Robert Cori, Yves Métivier
Approximation of a TRace, Asynchronous Automata and the Ordering of Events in a Distributed System
ICALP, 1988.
@inproceedings{ICALP-1988-CoriM, author = "Robert Cori and Yves Métivier", booktitle = "{Proceedings of the 15th International Colloquium on Automata, Languages and Programming}", doi = "10.1007/3-540-19488-6_113", isbn = "3-540-19488-6", pages = "147--161", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Approximation of a TRace, Asynchronous Automata and the Ordering of Events in a Distributed System}", volume = 317, year = 1988, }