Publications

Khalid Benali, Manuel Munier, Claude Godart. Cooperation models in co-design. In ICAM, 1998. A  
PDF HAL BibTex
Manuel Munier, Claude Godart. Cooperation services for widely distributed applications. In SEKE, 1998. B   B1  
PDF HAL BibTex
Gérôme Canals, Claude Godart, Manuel Munier, Samir Tata. Supporting cooperation in project-enterprises. In ENCOM, 1998.
PDF HAL BibTex
Pascal Molli, Manuel Munier, Gérôme Canals, François Charoy, Claude Godart. COO-serializability: A Correctness Criterion for Cooperative Executions. 1997.
Manuel Munier, *Didier Galmiche*. Recherche de preuves en $AF_2$ par codage dans une logique d'ordre supérieur. Mémoire de DEA, 1994.
PDF Diapositives