1. Alpern, B., Schneider, F.B.: Recognizing safety and liveness. Distributed Computing 2, 117–126 (1987)
2. Alur, R., Henzinger, T.A.: Reactive modules. Formal Methods in System Design (FMSD) 15(1), 7–48 (1999)
3. Arnold, A.: Systèmes de transitions finis et sémantique des processus communicants. In: Collection Etudes et Recherches en Informatiques, Masson, Paris (1992)
4. Arnold, A., Nivat, M.: Comportements de processus. In: Actes du Colloque AFCET - Les Mathématiques de l’Informatique, pp. 35–68 (1982)
5. Lecture Notes in Computer Science;F. Bellegarde,2000