Des primitives pour la synchronisation des branches OU. Un exemple d application

Rene Quiniou, Laurent Trilling. Des primitives pour la synchronisation des branches OU. Un exemple d application. In Serge Bourgault, Mehmet Dincbas, editors, SPLT 85, Séminaire Programmation en Logique, 29-31 mai 1985, Trégastel, France. 1985.

Abstract

Abstract is missing.