Publications

Manuel Munier, Claude Godart (1998). Cooperation services for widely distributed applications. In SEKE. B   B1  

PDF HAL BibTex

Gérôme Canals, Claude Godart, Manuel Munier, Samir Tata (1998). Supporting cooperation in project-enterprises. In ENCOM.

PDF HAL BibTex

Pascal Molli, Manuel Munier, Gérôme Canals, François Charoy, Claude Godart (1997). COO-serializability: A Correctness Criterion for Cooperative Executions.

Manuel Munier, *Didier Galmiche* (1994). Recherche de preuves en $AF_2$ par codage dans une logique d'ordre supérieur. Mémoire de DEA.

PDF Diapositives