Using events structures for the efficient analysis of state graphs
Authors:
Dominique Ambroise;Brigitte Rozoy
Affiliations:
Universités de Caen et de Paris XI, LIIAC - Esplanade de la Paix, 14 032 Caen cedex;Université de Paris XI et URA 410 CNRS, L.R.I., Bât. 490, 91 405 Orsay Cedex, France
Venue:
PODC '96 Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing