Propriétés de vivacité dans les systèmes B. Application à l'algorithme de Ricart-Agrawala. - Didier Bert; H. Barradas (Tech. Sci. Informatiques, 2007)