4

COO-serializability: A Correctness Criterion for Cooperative Executions

juin 1, 1997
Recherche de preuves en $AF_2$ par codage dans une logique d'ordre supérieur

Mémoire de DEA

sept. 7, 1994