Publications

(1998). A criterion to enforce correctness of indirectly cooperating applications. In Information Sciences. Q1  

PDF DOI DBLP Elsevier HAL BibTex XML

(1998). Cooperation models in co-design. In ICAM. A  

PDF HAL BibTex

(1998). Supporting cooperation in project-enterprises. In ENCOM.

PDF HAL BibTex

(1997). COO-serializability: A Correctness Criterion for Cooperative Executions.