Abstract de la publi numéro 2893

Il s'agit d'une logique temporelle linéaire avec un système de preuve concernant les objets concurrents