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.

Authors

Rene Quiniou

This author has not been identified. Look up 'Rene Quiniou' in Google

Laurent Trilling

This author has not been identified. Look up 'Laurent Trilling' in Google