Paul Gastin Un Modèle Asynchrone pour les Systèmes Distribués. 121-162 1990 74 Theor. Comput. Sci. 1 db/journals/tcs/tcs74.html#Gastin90 http://dx.doi.org/10.1016/0304-3975(90)90134-4