Jean-Claude Fernandez. ALDEBARAN : un système de vérification par réduction de processus communicants. (Aldebaran : a system of verification of communicating processes by using reduction). PhD thesis, Joseph Fourier University, Grenoble, France, 1988. [doi]
Abstract is missing.