Publications

Cooperation models in co-design. In IJAM, 1999.
A criterion to enforce correctness of indirectly cooperating applications. In Information Sciences, 1998. Q1  
Cooperation models in co-design. In ICAM, 1998. A  
Supporting cooperation in project-enterprises. In ENCOM, 1998.
COO-serializability: A Correctness Criterion for Cooperative Executions. 1997.