HAL Id: inria-00075290https://hal.inria.fr/inria-00075290

Submitted on 24 May 2006

HAL is a multi-disciplinary open accessarchive for the deposit and dissemination of sci-entific research documents, whether they are pub-lished or not. The documents may come fromteaching and research institutions in France orabroad, or from public or private research centers.

L’archive ouverte pluridisciplinaire HAL, estdestinée au dépôt et à la diffusion de documentsscientifiques de niveau recherche, publiés ou non,émanant des établissements d’enseignement et derecherche français ou étrangers, des laboratoirespublics ou privés.

Synchronous distributed algoriths : a proof systemMichel Adam, Jean-Michel Hélary

To cite this version:Michel Adam, Jean-Michel Hélary. Synchronous distributed algoriths : a proof system. [ResearchReport] RR-1269, INRIA. 1990. �inria-00075290�