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.

@inproceedings{QuiniouT85,
  title = {Des primitives pour la synchronisation des branches OU. Un exemple d application},
  author = {Rene Quiniou and Laurent Trilling},
  year = {1985},
  researchr = {https://researchr.org/publication/QuiniouT85},
  cites = {0},
  citedby = {0},
  booktitle = {SPLT 85, Séminaire Programmation en Logique, 29-31 mai 1985, Trégastel, France},
  editor = {Serge Bourgault and Mehmet Dincbas},
}